summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-1/+1
2019-05-07Reorganize dhall_syntaxNadrieril7-0/+1226