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/tests | |
parent | a97ebd37169193c6392658aa8b022c7e0f8c4a34 (diff) |
Avoid duplicating TypeInternal in TypedImproved
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions