summaryrefslogtreecommitdiff
path: root/dhall/src/core/var.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Reduce api surface of dhall crateNadrieril2019-08-161-7/+7
| | | | Helps detect unused code
* Custom Debug impls to improve debug legibilityNadrieril2019-08-151-2/+17
|
* Remove special closures from ValueNadrieril2019-08-151-0/+6
| | | | Instead construct their values directly
* 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