summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/env.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Thread cx through normalizationNadrieril2020-12-071-17/+25
|
* Brutally make all of dhall pubNadrieril2020-03-311-3/+3
|
* Run clippyNadrieril2020-03-171-2/+2
|
* Rename Value to NirNadrieril2020-02-171-5/+5
|
* Remove need for EmbedNadrieril2020-02-101-0/+6
| | | | This was an archaic leftover from copying the Haskell datatypes anyway
* Remove types from NzEnvNadrieril2020-02-091-17/+25
|
* Remove all types from ValueNadrieril2020-02-091-1/+2
|
* Remove most reliance on types stored in ValueNadrieril2020-02-091-10/+13
|
* Avoid unnecessary allocations of `Value`sNadrieril2020-01-301-6/+10
|
* Clarify normalization to ensure we only nze onceNadrieril2020-01-301-1/+1
|
* Encapsulate partially applied builtin in a separate structNadrieril2020-01-301-8/+0
|
* No need for the current env to tck Foo/build closuresNadrieril2020-01-301-9/+2
|
* Cleanup variable handlingNadrieril2020-01-291-1/+1
|
* Move envs to their own filesNadrieril2020-01-291-0/+87