summaryrefslogtreecommitdiff
path: root/dhall_generator
diff options
context:
space:
mode:
authorNadrieril2019-04-20 12:37:15 +0200
committerNadrieril2019-04-20 12:37:28 +0200
commitcf07992c7e5df05ba74a29dcca644e23004dc610 (patch)
treeda9ae860e5db77c58492ee457aec73d82fb9b0ad /dhall_generator
parent23adedb23907b24366ae87bdd2b4a424f59d2042 (diff)
Rewrite apply_builtin to work on WHNFs
Diffstat (limited to 'dhall_generator')
0 files changed, 0 insertions, 0 deletions