summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-03-24 14:05:16 +0100
committerNadrieril2019-03-24 14:05:16 +0100
commit6c1a739687f706cf6630c55f8d53c92aacaf6e3d (patch)
tree9fd95a35fe35cd532cd869f4c6f0db6585482225 /dhall/src
parentdc8497a1b659bff4e261a0d7f05f56d21c6d2448 (diff)
Disallow builtins as bound variables
Diffstat (limited to 'dhall/src')
0 files changed, 0 insertions, 0 deletions