summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/var.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-31Brutally make all of dhall pubNadrieril1-2/+2
2020-02-17Rename Value to NirNadrieril1-1/+1
2020-01-30Move Value-related stuff under semantics::nzeNadrieril1-0/+0
2020-01-29Cleanup variable handlingNadrieril1-31/+1
2020-01-29Finally get rid of all of the shift/subst_shift !Nadrieril1-10/+0
2020-01-27Fix a bunch of bugs and more tckNadrieril1-1/+7
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril1-0/+3
2020-01-18Introduce intermediate representation that stores typed exprNadrieril1-17/+1
2020-01-17SimplifyNadrieril1-19/+2
2020-01-17Replace all bulk shifting by a single shiftNadrieril1-16/+4
2020-01-17Use alpha variables everywhereNadrieril1-21/+9
2020-01-17Implement bulk shiftingNadrieril1-9/+7
2020-01-17Simplify a bitNadrieril1-0/+16
2020-01-17Remove Shift/Subst traitsNadrieril1-49/+14
2020-01-17Simplify Shift and Subst instancesNadrieril1-143/+1
2020-01-17Remove binder idsNadrieril1-23/+9
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril1-7/+3
2020-01-17Use binder ids for Value equalityNadrieril1-0/+6
2020-01-17Store corresponding binder id in AlphaVarNadrieril1-10/+14
2020-01-17Assign a unique id to each binderNadrieril1-2/+8
2020-01-17Introduce a notion of binderNadrieril1-17/+17
2020-01-17Construct T/Build closures in Expr spaceNadrieril1-6/+0
2019-12-20s/ExprF/ExprKind/Nadrieril1-3/+3
2019-12-19Rename ValueF to ValueKindNadrieril1-1/+1
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-5/+5
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-5/+5
2019-09-03Add mapping functions to InterpolatedTextContentsNadrieril1-10/+2
2019-08-16Share type alongside the value in a thunkNadrieril1-0/+12
2019-08-16Use generic Shift/Subst implsNadrieril1-37/+138
2019-08-16Store type in ThunkNadrieril1-4/+31
2019-08-16s/Value/ValueF/Nadrieril1-1/+1
2019-08-16Free variables don't exist anymoreNadrieril1-21/+13
2019-08-16Remove dead codeNadrieril1-6/+0
2019-08-16Reduce api surface of dhall crateNadrieril1-7/+7
2019-08-15Custom Debug impls to improve debug legibilityNadrieril1-2/+17
2019-08-15Remove special closures from ValueNadrieril1-0/+6
2019-05-12clippyNadrieril1-3/+1
2019-05-09Make visibilities more consistentNadrieril1-8/+8
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-12/+27
2019-05-08shift on lookup instead of on insertNadrieril1-2/+19
2019-05-07Unify typecheck and normalization contextsNadrieril1-0/+12
2019-05-07Promote shift and subst_shift to traitsNadrieril1-9/+20
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril1-0/+103
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 10:22:12 +0000