summaryrefslogtreecommitdiff
path: root/dhall_generated_parser/src
diff options
context:
space:
mode:
authorstuebinm2021-05-08 18:38:37 +0200
committerstuebinm2021-05-08 18:38:37 +0200
commit3d4afe62809ad5263b303a29ec543e4c39310d97 (patch)
tree94c9ffdda05d88cfbd2608669b7165dddc8d8f4f /dhall_generated_parser/src
parente65c53a8e22e2edf209a31ad28ba67ac5d78bed7 (diff)
inject_types -> with_builtin_typessubstitutions
at request of Nadrieril.
Diffstat (limited to 'dhall_generated_parser/src')
0 files changed, 0 insertions, 0 deletions