summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/lazy.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Remove NirInternalNadrieril2020-11-031-0/+11
|
* Normalize `with` by mutation.Nadrieril2020-11-031-4/+17
| | | | | This is Cow-style mutation: we clone only what's shared and then mutate it. This it more legible and more efficient than the immutable version.
* Factor out custom Lazy structNadrieril2020-01-311-0/+64