diff options
author | Nadrieril | 2020-01-30 11:17:49 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-30 11:17:49 +0000 |
commit | 7743647137d1914c280e03d6aaee81e507cff97d (patch) | |
tree | bf9a7a4767decc929820b24b63c29e1b391a8719 /dhall/tests/type-errors/hurkensParadox.txt | |
parent | 655f67fb29ca847f86c3e19338757e7b031d4f50 (diff) |
Remove old typecheck module
Diffstat (limited to 'dhall/tests/type-errors/hurkensParadox.txt')
0 files changed, 0 insertions, 0 deletions