summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-15Refer to semantics module properlyNadrieril6-23/+23
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril6-57/+49
2019-12-15fixup! Reexport dhall_syntax as a module in dhallNadrieril2-3/+5
2019-12-15Move contents of dhall under a semantics submoduleNadrieril6-0/+2828