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

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
 
diff --git a/dhall-lang b/dhall-lang
index e2d08eb..48db9e1 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit e2d08ebf5fb5770b57d0681131bed4289d0bb623
+Subproject commit 48db9e1ff1f8881fa4310085834fbc19e313ebf0
-- 
cgit v1.2.3