diff options
| author | Nadrieril | 2020-03-13 21:21:32 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-31 21:44:01 +0100 |
| commit | ef3734a3e9381b2e91552089774126f58f560bc3 (patch) | |
| tree | 6b1ff7e44feb23e333e8a1d4dadaff2d05a58881 /dhall/src/syntax | |
| parent | 1a0929b52af57d5963dd9da9e5cf85ffbed3a8f7 (diff) | |
Improve handling of builtin types in Nir
Diffstat (limited to 'dhall/src/syntax')
0 files changed, 0 insertions, 0 deletions