summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/hir.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove most TyExpr from normalizationNadrieril2020-02-091-2/+1
* Add Hir as untyped alternative to TyExprNadrieril2020-02-091-0/+112