summaryrefslogtreecommitdiff
path: root/dhall/src/core/var.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-295/+0
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-151-5/+5
* Add mapping functions to InterpolatedTextContentsNadrieril2019-09-031-10/+2
* Share type alongside the value in a thunkNadrieril2019-08-161-0/+12
* Use generic Shift/Subst implsNadrieril2019-08-161-37/+138
* Store type in ThunkNadrieril2019-08-161-4/+31
* s/Value/ValueF/Nadrieril2019-08-161-1/+1
* Free variables don't exist anymoreNadrieril2019-08-161-21/+13
* Remove dead codeNadrieril2019-08-161-6/+0
* Reduce api surface of dhall crateNadrieril2019-08-161-7/+7
* Custom Debug impls to improve debug legibilityNadrieril2019-08-151-2/+17
* Remove special closures from ValueNadrieril2019-08-151-0/+6
* clippyNadrieril2019-05-121-3/+1
* Make visibilities more consistentNadrieril2019-05-091-8/+8
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-12/+27
* shift on lookup instead of on insertNadrieril2019-05-081-2/+19
* Unify typecheck and normalization contextsNadrieril2019-05-071-0/+12
* Promote shift and subst_shift to traitsNadrieril2019-05-071-9/+20
* Move AlphaVar and AlphaLabel into a new moduleNadrieril2019-05-071-0/+103
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 21:52:43 +0000