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 ++-
 dhall-lang | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

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
diff --git a/dhall-lang b/dhall-lang
index ec4fe8a..09b2043 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit ec4fe8ac58aa3d91f94223834ab6acfe57c3a425
+Subproject commit 09b204377a4b78df5b67bced0ef2c8e0bafd0ac0
-- 
cgit v1.2.3