summaryrefslogtreecommitdiff
path: root/dhall/src/core/thunk.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-08Implement normalization for record merging operatorsNadrieril1-0/+7
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-6/+46
2019-05-07Promote shift and subst_shift to traitsNadrieril1-35/+47
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril1-1/+2
2019-05-07Document Value and ThunkNadrieril1-3/+5
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril1-2/+2
2019-05-06Move main datatypes into their own modulesNadrieril1-0/+295