summaryrefslogtreecommitdiff
path: root/dhall/src/phase/mod.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-07Unify typecheck and normalization contextsNadrieril1-3/+0
2019-05-07Promote shift and subst_shift to traitsNadrieril1-29/+40
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril1-1/+2
2019-05-07Unify Type, TypeInternal and TypedNadrieril1-95/+36
2019-05-06Move main datatypes into their own modulesNadrieril1-2/+8
2019-05-06Consolidate errors in the error moduleNadrieril1-5/+3
2019-05-06Reorganize dhall into a phase structureNadrieril1-0/+389