summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase/resolve.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move parse and resolve up a levelNadrieril2020-01-301-181/+0
* Move main API to lib.rsNadrieril2020-01-301-1/+1
* 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