summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-17Rename Value to NirNadrieril1-3/+3
2020-02-17Rename TyExpr to TirNadrieril1-2/+2
2020-02-17Factor out desugaring from resolveNadrieril1-22/+31
2020-02-17Extract resolve-relevant envs togetherNadrieril3-58/+113
2020-02-17Move hir and resolve into a moduleNadrieril4-0/+400