summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/env.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement conservative sanity checkingNadrieril2020-03-051-3/+3
* Cache imports correctlyNadrieril2020-03-051-12/+12
* Avoid re-typechecking after importNadrieril2020-02-191-4/+4
* Extract resolve-relevant envs togetherNadrieril2020-02-171-0/+104
* Move hir and resolve into a moduleNadrieril2020-02-171-0/+0