summaryrefslogtreecommitdiff
path: root/dhall/src/core (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Promote shift and subst_shift to traitsNadrieril2019-05-074-86/+119
|
* Move AlphaVar and AlphaLabel into a new moduleNadrieril2019-05-075-105/+110
|
* Small mistakeNadrieril2019-05-071-1/+1
|
* Document Value and ThunkNadrieril2019-05-072-8/+21
|
* Clean up some of the SubExpr type-changing methodsNadrieril2019-05-071-2/+2
|
* Move main datatypes into their own modulesNadrieril2019-05-064-0/+1050