summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-17Store corresponding binder id in AlphaVarNadrieril1-1/+2
2020-01-17Introduce a notion of binderNadrieril1-13/+14
2020-01-17Parameterize ValueKind by its subnodesNadrieril2-7/+10
2020-01-17Construct T/Build closures in Expr spaceNadrieril2-58/+58
2020-01-17Tiny clarificationNadrieril1-13/+10
2020-01-17s/TypecheckContext/TyCtx/Nadrieril1-14/+8
2019-12-24Ensure normalization respects var names on the noseNadrieril1-8/+8
2019-12-24Ensure inferred type is always in normal formNadrieril2-2/+14
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.rsNadrieril3-3/+3
2019-12-20Fix some commentsNadrieril1-9/+2
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril1-3/+3
2019-12-20s/ExprF/ExprKind/Nadrieril2-60/+61
2019-12-20Move error module to root of crateNadrieril4-4/+4
2019-12-19Move out conversion from value back to ast to its own fileNadrieril1-1/+6
2019-12-19Rename ValueF to ValueKindNadrieril3-151/+151
2019-12-17Move binary encoding/decoding to syntax/Nadrieril3-750/+2
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