From ce4665bdfcbcb4e34e760acef83bd4de3fbef530 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 19 Feb 2020 17:12:14 +0000
Subject: Update spec to version 13

---
 README.md | 18 ++++++++++++++----
 1 file changed, 14 insertions(+), 4 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index aa5cc61..664b167 100644
--- a/README.md
+++ b/README.md
@@ -63,7 +63,7 @@ assert_eq!(deserialized_map, expected_map);
 ## Standard-compliance
 
 This implementation currently supports partially the [Dhall
-standard](https://github.com/dhall-lang/dhall-lang) version `12.0.0`.
+standard](https://github.com/dhall-lang/dhall-lang) version `13.0.0`.
 
 Only local imports are supported, but otherwise the main features are
 implemented. See
@@ -159,11 +159,21 @@ same name as the corresponding test.
 
 ## Changelog
 
-- 0.2.1: Improve documentation and deserialize many more types
+[???]
 
-- 0.2.0: Update to supporting dhall v12.0.0
+Update to supporting dhall v13.0.0
 
-- 0.1.0: Initial release
+[0.2.1]
+
+Improve documentation and deserialize many more types
+
+[0.2.0]
+
+Update to supporting dhall v12.0.0
+
+[0.1.0]
+
+Initial release
 
 ## License
 
-- 
cgit v1.2.3


From 86508a3ad59a0bfc1e24448d0a0126b1a1c645e1 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 18:52:34 +0000
Subject: Add support for duplicate record fields

---
 README.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 664b167..a46859e 100644
--- a/README.md
+++ b/README.md
@@ -161,19 +161,20 @@ same name as the corresponding test.
 
 [???]
 
-Update to supporting dhall v13.0.0
+- Add support for duplicate record fields
+- Update to supporting dhall v13.0.0
 
 [0.2.1]
 
-Improve documentation and deserialize many more types
+- Improve documentation and deserialize many more types
 
 [0.2.0]
 
-Update to supporting dhall v12.0.0
+- Update to supporting dhall v12.0.0
 
 [0.1.0]
 
-Initial release
+- Initial release
 
 ## License
 
-- 
cgit v1.2.3


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


From 6642077368497583113d685d351ec93d230ffcad Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 19:04:13 +0000
Subject: Add support for dotted field syntax

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 34878f4..e620e38 100644
--- a/README.md
+++ b/README.md
@@ -161,6 +161,7 @@ same name as the corresponding test.
 
 [???]
 
+- Add support for dotted field syntax
 - Disallow Natural literals with leading zeros
 - Add support for duplicate record fields
 - Update to supporting dhall v13.0.0
-- 
cgit v1.2.3


From f24879c16d82d2ecb2294596ffa45573f02185d0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 19:04:46 +0000
Subject: Support spec v14

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index e620e38..2f90743 100644
--- a/README.md
+++ b/README.md
@@ -63,7 +63,7 @@ assert_eq!(deserialized_map, expected_map);
 ## Standard-compliance
 
 This implementation currently supports partially the [Dhall
-standard](https://github.com/dhall-lang/dhall-lang) version `13.0.0`.
+standard](https://github.com/dhall-lang/dhall-lang) version `14.0.0`.
 
 Only local imports are supported, but otherwise the main features are
 implemented. See
@@ -161,6 +161,7 @@ same name as the corresponding test.
 
 [???]
 
+- Update to supporting dhall v14.0.0
 - Add support for dotted field syntax
 - Disallow Natural literals with leading zeros
 - Add support for duplicate record fields
-- 
cgit v1.2.3