summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/builtins.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-30No need for the current env to tck Foo/build closuresNadrieril1-5/+1
2020-01-30Clean importsNadrieril1-7/+8
2020-01-30Actually, no need for keeping extra args in apply_builtinNadrieril1-25/+10
2020-01-30Move builtins-related code to its own moduleNadrieril1-0/+511