summaryrefslogtreecommitdiff
path: root/dhall_generated_parser
diff options
context:
space:
mode:
authorNadrieril2019-08-13 21:10:59 +0200
committerNadrieril2019-08-13 21:10:59 +0200
commit51dbaa0b66089bca63aa9cf69a1e0ec59df053b9 (patch)
tree59e834f95417ad798bb49c0bdc0911c8c44a3a4a /dhall_generated_parser
parent77af0bbc171618f48531cc6b1d77e18089928885 (diff)
Considerably simplify Embed handling
Diffstat (limited to 'dhall_generated_parser')
0 files changed, 0 insertions, 0 deletions