diff options
author | Nadrieril | 2020-06-25 13:24:20 +0100 |
---|---|---|
committer | Nadrieril | 2020-06-25 13:24:20 +0100 |
commit | 496564328070cbd7d30c11834a28d75f3eeb6068 (patch) | |
tree | b1f22b83643e7ad1265f11e3cf96593097ee5527 /dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt | |
parent | 04227e98cbbd1ccf9625e0f5e7725f68d764ac3e (diff) |
doc: extract changelog to its own file
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions