summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase/resolve.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove old typecheck moduleNadrieril2020-01-301-6/+2
* Fix a bunch of bugs and more tckNadrieril2020-01-271-2/+6
* Move error module to root of crateNadrieril2019-12-201-1/+1
* Refer to semantics module properlyNadrieril2019-12-151-2/+2
* Avoid mention of `crate::` outside of top-level importsNadrieril2019-12-151-3/+4
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-0/+180