summaryrefslogtreecommitdiff
path: root/dhall/src/phase/mod.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Promote shift and subst_shift to traitsNadrieril2019-05-071-29/+40
* Move AlphaVar and AlphaLabel into a new moduleNadrieril2019-05-071-1/+2
* Unify Type, TypeInternal and TypedNadrieril2019-05-071-95/+36
* Move main datatypes into their own modulesNadrieril2019-05-061-2/+8
* Consolidate errors in the error moduleNadrieril2019-05-061-5/+3
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+389