summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/builtins.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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