summaryrefslogtreecommitdiff
path: root/dhall/src/core/context.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-145/+0
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-151-1/+1
* Merge TypedValue and ValueNadrieril2019-08-191-19/+12
* Reduce untyped construction of ValuesNadrieril2019-08-191-21/+13
* Use TypedValue instead of Typed in normalize and typecheckNadrieril2019-08-191-13/+16
* s/Thunk/Value/Nadrieril2019-08-171-7/+7
* s/Value/ValueF/Nadrieril2019-08-161-2/+2
* fixup! No need for generic Context anymoreNadrieril2019-08-161-1/+1
* No need for generic Context anymoreNadrieril2019-08-161-75/+38
* Remove dead codeNadrieril2019-08-161-31/+0
* Reduce api surface of dhall crateNadrieril2019-08-161-4/+4
* Fix bug in shifting contextsNadrieril2019-08-151-1/+10
* Make visibilities more consistentNadrieril2019-05-091-19/+15
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-33/+32
* Correctly shift free variables in normalizationNadrieril2019-05-091-10/+10
* Fix Context shiftingNadrieril2019-05-081-15/+24
* shift on lookup instead of on insertNadrieril2019-05-081-25/+52
* Replace hashmap-based context with a vec-based oneNadrieril2019-05-071-14/+37
* Don't discard normalization work done by typecheckingNadrieril2019-05-071-25/+8
* Unify typecheck and normalization contextsNadrieril2019-05-071-65/+101
* Promote shift and subst_shift to traitsNadrieril2019-05-071-39/+45
* Move AlphaVar and AlphaLabel into a new moduleNadrieril2019-05-071-1/+2
* Move main datatypes into their own modulesNadrieril2019-05-061-0/+136
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 21:29:50 +0000