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/src/syntax | |
| parent | e65c53a8e22e2edf209a31ad28ba67ac5d78bed7 (diff) | |
inject_types -> with_builtin_typessubstitutions
at request of Nadrieril.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions