summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/hir.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove all types from ValueNadrieril2020-02-091-2/+2
* Resolve variables alongside import resolutionNadrieril2020-02-091-6/+30
* Remove most TyExpr from normalizationNadrieril2020-02-091-2/+1
* Add Hir as untyped alternative to TyExprNadrieril2020-02-091-0/+112