summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/mod.rs (unfollow)
Commit message (Collapse)AuthorFilesLines
2020-01-21Prepare Value for reverse variablesNadrieril1-1/+1
I thought it would work ><. It's a bit too early
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril1-0/+2
Inspired from dhall_haskell