summaryrefslogtreecommitdiff
path: root/dhall/src/core/context.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-145/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-1/+1
2019-08-19Merge TypedValue and ValueNadrieril1-19/+12
2019-08-19Reduce untyped construction of ValuesNadrieril1-21/+13
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril1-13/+16
2019-08-17s/Thunk/Value/Nadrieril1-7/+7
2019-08-16s/Value/ValueF/Nadrieril1-2/+2
2019-08-16fixup! No need for generic Context anymoreNadrieril1-1/+1
2019-08-16No need for generic Context anymoreNadrieril1-75/+38
2019-08-16Remove dead codeNadrieril1-31/+0
2019-08-16Reduce api surface of dhall crateNadrieril1-4/+4
2019-08-15Fix bug in shifting contextsNadrieril1-1/+10
2019-05-09Make visibilities more consistentNadrieril1-19/+15
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-33/+32
2019-05-09Correctly shift free variables in normalizationNadrieril1-10/+10
2019-05-08Fix Context shiftingNadrieril1-15/+24
2019-05-08shift on lookup instead of on insertNadrieril1-25/+52
2019-05-07Replace hashmap-based context with a vec-based oneNadrieril1-14/+37
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-25/+8
2019-05-07Unify typecheck and normalization contextsNadrieril1-65/+101
2019-05-07Promote shift and subst_shift to traitsNadrieril1-39/+45
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril1-1/+2
2019-05-06Move main datatypes into their own modulesNadrieril1-0/+136
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-09 16:48:58 +0000