summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/builtins.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move main API to lib.rsNadrieril2020-01-301-1/+1
* Introduce Thunks and normalize lazilyNadrieril2020-01-301-1/+1
* s/as_whnf/kind/Nadrieril2020-01-301-20/+20
* Encapsulate partially applied builtin in a separate structNadrieril2020-01-301-3/+77
* No need for the current env to tck Foo/build closuresNadrieril2020-01-301-5/+1
* Clean importsNadrieril2020-01-301-7/+8
* Actually, no need for keeping extra args in apply_builtinNadrieril2020-01-301-25/+10
* Move builtins-related code to its own moduleNadrieril2020-01-301-0/+511