summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase
diff options
context:
space:
mode:
authorNadrieril2020-01-30 11:20:34 +0000
committerNadrieril2020-01-30 11:20:34 +0000
commit5e3aaa40305a86ee90f889614c2b370184c4ef3a (patch)
tree1485f1b07f23916a446d4da8474accc810321831 /dhall/src/semantics/phase
parent7743647137d1914c280e03d6aaee81e507cff97d (diff)
Actually, no need for keeping extra args in apply_builtin
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions