summaryrefslogtreecommitdiff
path: root/dhall/src/phase/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move main datatypes into their own modulesNadrieril2019-05-061-208/+137
* Consolidate errors in the error moduleNadrieril2019-05-061-103/+11
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+1276