summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/tir.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Typecheck `with` using mutationNadrieril2020-11-031-0/+3
* Move BinOp and Builtin definitions in the relevant moduleNadrieril2020-04-061-1/+2
* Brutally make all of dhall pubNadrieril2020-03-311-3/+3
* Remove top-level Expr aliasesNadrieril2020-03-311-4/+3
* Borrow relevant Hir from TirNadrieril2020-02-181-24/+6
* Rename Value to NirNadrieril2020-02-171-13/+13
* Rename TyExpr to TirNadrieril2020-02-171-0/+193