summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-19Restore more types in value_to_tyexprNadrieril2-1/+15
2020-01-18Add Expr visitor and improve tyexpr_to_exprNadrieril1-10/+12
2020-01-18Introduce intermediate representation that stores typed exprNadrieril2-0/+85