summaryrefslogtreecommitdiff
path: root/dhall/src/semantics (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-15fixup! Reexport dhall_syntax as a module in dhallNadrieril2-3/+5
2019-12-15Move contents of dhall under a semantics submoduleNadrieril13-0/+4115