From 257b57c616de78c646f38d75e3487754499e9ba5 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 4 Feb 2021 16:11:56 +0000
Subject: spec: support dhall v20

---
 CHANGELOG.md | 2 ++
 README.md    | 2 +-
 dhall-lang   | 2 +-
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1b78bd0..695a6d3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,8 @@
 #### [Unreleased]
 
 - BREAKING CHANGE: Change minimum supported version to 1.44.0.
+- BREAKING CHANGE: Support dhall v20.0.0
+- `if` can return a type (https://github.com/Nadrieril/dhall-rust/pull/202)
 
 #### [0.9.0] - 2020-11-20
 
diff --git a/README.md b/README.md
index 5776391..3974804 100644
--- a/README.md
+++ b/README.md
@@ -75,7 +75,7 @@ assert_eq!(deserialized_map, expected_map);
 ## Standard-compliance
 
 This implementation currently supports most of the [Dhall
-standard](https://github.com/dhall-lang/dhall-lang) version `19.0.0`.
+standard](https://github.com/dhall-lang/dhall-lang) version `20.0.0`.
 
 The main missing feature is import headers. See
 [here](https://github.com/Nadrieril/dhall-rust/issues?q=is%3Aopen+is%3Aissue+label%3Astandard-compliance)
diff --git a/dhall-lang b/dhall-lang
index b2344e9..51b9eff 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit b2344e922a3cebc4f5b055abe52d3ec50be6eab1
+Subproject commit 51b9effa64acb8829011353926686fb190144c32
-- 
cgit v1.2.3