summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/core (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-19Move out conversion from value back to ast to its own fileNadrieril2-90/+17
2019-12-19Rename ValueF to ValueKindNadrieril6-362/+372
2019-12-15Refer to semantics module properlyNadrieril3-15/+15
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril4-15/+13
2019-12-15Move contents of dhall under a semantics submoduleNadrieril5-0/+1105