summaryrefslogtreecommitdiff
path: root/dhall/src/semantics (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-17Implement PartialEq manually for ValueKindNadrieril1-1/+64
2020-01-17Construct T/Build closures in Expr spaceNadrieril3-64/+58
2020-01-17Tiny clarificationNadrieril1-13/+10
2020-01-17s/TypecheckContext/TyCtx/Nadrieril3-24/+16
2020-01-17Make TypecheckContext a named structNadrieril1-9/+11
2020-01-17TypecheckContext doesn't need RcNadrieril1-14/+18
2020-01-17TypecheckContext doesn't need PartialEqNadrieril1-9/+0
2019-12-24Ensure normalization respects var names on the noseNadrieril1-8/+8
2019-12-24Ensure inferred type is always in normal formNadrieril3-2/+17
2019-12-24Ensure the output of type inference matches the spec variable namesNadrieril1-7/+7
2019-12-24Extend merge to work on OptionalsNadrieril2-4/+36
2019-12-23Add two new Integer builtinsNadrieril2-0/+14
2019-12-22Update dhall-lang submoduleNadrieril1-77/+42
2019-12-22Implement parsing for record completionNadrieril2-0/+2
2019-12-22Update dhall-lang submoduleNadrieril1-1/+9
2019-12-20Move ValueKind into value.rsNadrieril8-279/+269
2019-12-20Reorder value.rsNadrieril1-81/+81
2019-12-20Fix some commentsNadrieril1-9/+2
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril1-3/+3
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-25 19:08:58 +0000