summaryrefslogtreecommitdiff
path: root/dhall/src/core/var.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-295/+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-06 00:48:21 +0000