diff options
author | Nadrieril | 2020-02-20 18:54:58 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-20 18:54:58 +0000 |
commit | 0e07c9cd012efaeae7e1c50a3499a13aef4d2b61 (patch) | |
tree | 03ccb36bbb8c4b5a4c3da203b82b593cce2b7699 /README.md | |
parent | 86508a3ad59a0bfc1e24448d0a0126b1a1c645e1 (diff) |
Disallow Natural literals with leading zeros
Diffstat (limited to '')
-rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -161,6 +161,7 @@ same name as the corresponding test. [???] +- Disallow Natural literals with leading zeros - Add support for duplicate record fields - Update to supporting dhall v13.0.0 |