diff options
author | stuebinm | 2021-05-08 18:38:37 +0200 |
---|---|---|
committer | stuebinm | 2021-05-08 18:38:37 +0200 |
commit | 3d4afe62809ad5263b303a29ec543e4c39310d97 (patch) | |
tree | 94c9ffdda05d88cfbd2608669b7165dddc8d8f4f /dhall_syntax | |
parent | e65c53a8e22e2edf209a31ad28ba67ac5d78bed7 (diff) |
inject_types -> with_builtin_typessubstitutions
at request of Nadrieril.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions