From 0e07c9cd012efaeae7e1c50a3499a13aef4d2b61 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Thu, 20 Feb 2020 18:54:58 +0000 Subject: Disallow Natural literals with leading zeros --- README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'README.md') diff --git a/README.md b/README.md index a46859e..34878f4 100644 --- a/README.md +++ b/README.md @@ -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 -- cgit v1.2.3