summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Don't discard normalization work done by typecheckingNadrieril2019-05-071-1/+1
|
* Reorganize dhall_syntaxNadrieril2019-05-077-0/+1226