summaryrefslogtreecommitdiff
path: root/dhall/src/phase/normalize.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Promote shift and subst_shift to traitsNadrieril2019-05-071-0/+1
|
* Small mistakeNadrieril2019-05-071-1/+3
|
* Move main datatypes into their own modulesNadrieril2019-05-061-984/+15
|
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+1888