diff options
| author | Nadrieril | 2019-04-23 17:55:52 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-23 17:57:46 +0200 |
| commit | d6fef3bc93decab238912580eaf2224f824be166 (patch) | |
| tree | fd20600d8acb50d4308fbd5dbddc7caded8e4220 /dhall_core | |
| parent | a97ebd37169193c6392658aa8b022c7e0f8c4a34 (diff) | |
Avoid duplicating TypeInternal in TypedImproved
Diffstat (limited to 'dhall_core')
0 files changed, 0 insertions, 0 deletions