summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/env.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove need for EmbedNadrieril2020-02-101-0/+6
* 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