summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/mod.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Prepare Value for reverse variablesNadrieril2020-01-211-1/+1
| | | | I thought it would work ><. It's a bit too early
* Reimplement basic tck/nze with proper environmentsNadrieril2020-01-201-0/+2
Inspired from dhall_haskell