diff options
author | Nadrieril | 2020-03-04 21:54:34 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
commit | 104a8a4a0632ee69e642521ea03239af88366346 (patch) | |
tree | 4e5c28561d449eb397ccb1be0754e6cc8bb5f509 /dhall/tests/type-inference/failure/unit | |
parent | 31cefbdf0364a3d224420365049885051734669b (diff) |
Implement conservative sanity checking
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions