summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/parse.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-05Implement remote imports and cleanup import chainingNadrieril1-5/+13
2020-03-05Implement `as Text` importsNadrieril1-3/+2
2020-01-30Move parse and resolve up a levelNadrieril1-1/+1
2020-01-30Move main API to lib.rsNadrieril1-1/+1
2019-12-20Move error module to root of crateNadrieril1-1/+1
2019-12-17Move binary encoding/decoding to syntax/Nadrieril1-1/+1
2019-12-15Refer to semantics module properlyNadrieril1-4/+4
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-4/+4
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-1/+1
2019-08-16Reduce api surface of dhall crateNadrieril1-4/+4
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril1-2/+2
2019-05-12Implement binary encodingNadrieril1-0/+6
2019-05-09Make visibilities more consistentNadrieril1-3/+3
2019-05-09Generate normalization tests automaticallyNadrieril1-7/+0
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril1-1/+1
2019-05-06Reorganize dhall into a phase structureNadrieril1-0/+38