summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/mod.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Brutally make all of dhall pubNadrieril2020-03-311-3/+3
* Rename TyExpr to TirNadrieril2020-02-171-2/+2
* Move builtins-related code to its own moduleNadrieril2020-01-301-1/+1
* Move envs to their own filesNadrieril2020-01-291-0/+2
* Restore more types in value_to_tyexprNadrieril2020-01-191-0/+2
* Introduce intermediate representation that stores typed exprNadrieril2020-01-181-0/+2