diff options
author | Nadrieril | 2019-11-11 17:30:45 +0000 |
---|---|---|
committer | Nadrieril | 2019-11-11 17:30:52 +0000 |
commit | 1ea6fe55eea2f1448f897e2a2805f7e0a1daac9b (patch) | |
tree | 96b0a65ce542a9b7652334481aef5bce54b7a857 /dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt | |
parent | bbb089d219cb22751d7100fe6524063cbe2474dd (diff) |
typo
Diffstat (limited to 'dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt')
0 files changed, 0 insertions, 0 deletions