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