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