summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/env.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-12-07Thread cx through normalizationNadrieril1-17/+25
2020-03-31Brutally make all of dhall pubNadrieril1-3/+3
2020-03-17Run clippyNadrieril1-2/+2
2020-02-17Rename Value to NirNadrieril1-5/+5
2020-02-10Remove need for EmbedNadrieril1-0/+6
2020-02-09Remove types from NzEnvNadrieril1-17/+25
2020-02-09Remove all types from ValueNadrieril1-1/+2
2020-02-09Remove most reliance on types stored in ValueNadrieril1-10/+13
2020-01-30Avoid unnecessary allocations of `Value`sNadrieril1-6/+10
2020-01-30Clarify normalization to ensure we only nze onceNadrieril1-1/+1
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril1-8/+0
2020-01-30No need for the current env to tck Foo/build closuresNadrieril1-9/+2
2020-01-29Cleanup variable handlingNadrieril1-1/+1
2020-01-29Move envs to their own filesNadrieril1-0/+87