summaryrefslogtreecommitdiff
path: root/dhall_generated_parser/src/dhall.abnf
diff options
context:
space:
mode:
authorNadrieril2019-08-25 21:16:38 +0200
committerNadrieril2019-08-25 21:16:38 +0200
commitbf37fd9da3782134ca4bca9567c34bbee81784b9 (patch)
tree1c6c95f4e64bd9b759118f750cae1f12709b7b51 /dhall_generated_parser/src/dhall.abnf
parentf9ec2cdf2803ed92fa404db989b786fc1dfac12e (diff)
Rework apply_builtin to enforce preservation of type information
Diffstat (limited to 'dhall_generated_parser/src/dhall.abnf')
0 files changed, 0 insertions, 0 deletions