summaryrefslogtreecommitdiff
path: root/dhall/src/semantics (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-20s/ExprF/ExprKind/Nadrieril5-90/+95
2019-12-20Move error module to root of crateNadrieril8-185/+6
2019-12-19Move out conversion from value back to ast to its own fileNadrieril5-91/+125
2019-12-19Rename ValueF to ValueKindNadrieril9-513/+523
2019-12-17Move binary encoding/decoding to syntax/Nadrieril3-750/+2
2019-12-15Refer to semantics module properlyNadrieril10-42/+42
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril11-74/+63
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