diff options
author | Nadrieril | 2019-11-11 15:46:45 +0000 |
---|---|---|
committer | Nadrieril | 2019-11-11 15:46:45 +0000 |
commit | 8b566b2575096562c2e15d6ac9ee8750db2cf14f (patch) | |
tree | d348f580a00c4b97f04f3a2e41ea2a23d67af824 /dhall/tests/type-errors/unit/VariableFree.txt | |
parent | 1c2460bf6ba944d970c6bb6d47863d0244621887 (diff) |
Explain TypeError tests
Diffstat (limited to 'dhall/tests/type-errors/unit/VariableFree.txt')
0 files changed, 0 insertions, 0 deletions