summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/env.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix import bugNadrieril2020-04-051-9/+11
* Fix clippy warningsNadrieril2020-04-051-7/+4
* Brutally make all of dhall pubNadrieril2020-03-311-4/+4
* Run clippyNadrieril2020-03-171-1/+1
* 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