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