From cc03ada4e713f145f2eb1bbf0f131a4c5746cf74 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 3 Aug 2019 22:55:51 +0200
Subject: Inline headers

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index ee528e5..b1f9815 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit ee528e5a89f78bce2c28167b5dfb7e7ea6b3d6c7
+Subproject commit b1f98152c404b661233db9a834d8e31ab2704479
-- 
cgit v1.2.3


From 711164a7a24ab832006b72cac162e78cf434861a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 4 Aug 2019 11:11:37 +0200
Subject: Remove old-style optional literals

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index b1f9815..b199229 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit b1f98152c404b661233db9a834d8e31ab2704479
+Subproject commit b1992297d702c67d2e1b1597af5c533af2934300
-- 
cgit v1.2.3


From 5f872a7a5de12898fce32c057818ac2efb90e3fb Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 4 Aug 2019 11:15:18 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index b199229..0396b67 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit b1992297d702c67d2e1b1597af5c533af2934300
+Subproject commit 0396b67639a6deaff480844e71b576db998717d3
-- 
cgit v1.2.3


From e52f50080d8e0e6d6a05b1045e3e0e840acb50d0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 4 Aug 2019 14:07:34 +0200
Subject: Braced escape sequences

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 0396b67..dbf4ebc 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 0396b67639a6deaff480844e71b576db998717d3
+Subproject commit dbf4ebcfabf499e87c27e75bec108d91929ccc31
-- 
cgit v1.2.3


From 2551e6f91110bfe385fa65dd63e576df637c26fa Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 5 Aug 2019 18:18:45 +0200
Subject: Add some tests

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index dbf4ebc..e01c734 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit dbf4ebcfabf499e87c27e75bec108d91929ccc31
+Subproject commit e01c734e612daac327b06845e45c34552d65d9e1
-- 
cgit v1.2.3


From 482be29e0f03e10c2469ef80bdd6ac7593207dc5 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 6 Aug 2019 20:38:06 +0200
Subject: RFC3986 URLs

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index e01c734..2c0f238 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit e01c734e612daac327b06845e45c34552d65d9e1
+Subproject commit 2c0f2389e11597131b8ce021344322e5ed3a9131
-- 
cgit v1.2.3


From 054121b427b5344b41a0fb230b69d81ea0b5cd0a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 6 Aug 2019 20:52:25 +0200
Subject: Change some tests

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 2c0f238..65aa743 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 2c0f2389e11597131b8ce021344322e5ed3a9131
+Subproject commit 65aa7435040141dd30d5983695b7ebdb4224b280
-- 
cgit v1.2.3


From b3791e91b7cb73778cc21844a6999531bf537f77 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 6 Aug 2019 20:59:28 +0200
Subject: Change URL parsing

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 65aa743..40c3e57 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 65aa7435040141dd30d5983695b7ebdb4224b280
+Subproject commit 40c3e57a4f09448b5a7c9d203a81b64f50ed30bd
-- 
cgit v1.2.3


From 3e157f0a05b0b93753ed377332597a37fa379541 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 6 Aug 2019 21:28:12 +0200
Subject: Add toMap keyword

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 40c3e57..cd29db9 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 40c3e57a4f09448b5a7c9d203a81b64f50ed30bd
+Subproject commit cd29db992660788fa5d75ccc465562fa3d96fcee
-- 
cgit v1.2.3


From 0a1cf5554e8c06d05d24bdcdcf1eb71f0ac6d8f2 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 6 Aug 2019 21:33:18 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index cd29db9..1b587f8 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit cd29db992660788fa5d75ccc465562fa3d96fcee
+Subproject commit 1b587f866a16ce4ae198d5ff51848a4ffc0f4cdc
-- 
cgit v1.2.3


From f7b0c6b9c52f65624dc765fb9eaa7d0d94eeae76 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 6 Aug 2019 23:03:01 +0200
Subject: Generalize empty list annotations

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 1b587f8..4d68c57 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 1b587f866a16ce4ae198d5ff51848a4ffc0f4cdc
+Subproject commit 4d68c5708cfc5c3f5ff7e5a6c4df25c5fdfd96f4
-- 
cgit v1.2.3


From 7827d10b431061ca9d2ef83d04a5a4e9f4c7fd47 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 15:59:13 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 4d68c57..ee2fe7d 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 4d68c5708cfc5c3f5ff7e5a6c4df25c5fdfd96f4
+Subproject commit ee2fe7d9cbd699fc9f40ca4858abcc0f13105324
-- 
cgit v1.2.3


From d5c3e8f2ef7438b7ac84be34cfe019ce365ae529 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 16:22:00 +0200
Subject: Forbid surrogate pairs and non-characters

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index ee2fe7d..599f83b 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit ee2fe7d9cbd699fc9f40ca4858abcc0f13105324
+Subproject commit 599f83b9d5ed24f4357455aecc794f572234a69a
-- 
cgit v1.2.3


From 98e7751fb8deb22685b6991367404515c35f502f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 16:28:48 +0200
Subject: Various parsing tweaks

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 599f83b..f4ee1fb 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 599f83b9d5ed24f4357455aecc794f572234a69a
+Subproject commit f4ee1fb8f8165c6d68d5f7f4da609483839271db
-- 
cgit v1.2.3


From 0c9831e6a851e8f91bddc33e7a163f49d60aa033 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 16:32:43 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index f4ee1fb..95cfb88 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit f4ee1fb8f8165c6d68d5f7f4da609483839271db
+Subproject commit 95cfb88db2f79b3c4bf61c76d9e9869d149cdefd
-- 
cgit v1.2.3


From d248762095908246951b6aa6c211587c6e333c0e Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 21:05:01 +0200
Subject: Remove union literals from the language

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 95cfb88..f692f70 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 95cfb88db2f79b3c4bf61c76d9e9869d149cdefd
+Subproject commit f692f70bafa0322da5d9c4b535b2d323a9c5ac61
-- 
cgit v1.2.3


From 51c4f79fe092191d670ffa2f9098693079dbc1be Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 21:18:11 +0200
Subject: Add truncated Natural subtraction

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index f692f70..c7082d9 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit f692f70bafa0322da5d9c4b535b2d323a9c5ac61
+Subproject commit c7082d910d956bcedfdc51daae989659a2db67bd
-- 
cgit v1.2.3


From ea80deff5562fefb642924be1937d22447702d01 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 21:59:54 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index c7082d9..affafb9 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit c7082d910d956bcedfdc51daae989659a2db67bd
+Subproject commit affafb9c674c7117e24634ceb5dbdaa1dc8dc0b0
-- 
cgit v1.2.3


From 6d166d3fe0dedb66b4302cc5fb67f696f6688b80 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 22:03:33 +0200
Subject: Normalize field selection further by inspecting the argument

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index affafb9..ebda6c1 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit affafb9c674c7117e24634ceb5dbdaa1dc8dc0b0
+Subproject commit ebda6c150056f4e7a801ee11f611be86ce694e8a
-- 
cgit v1.2.3


From c2cb7d38dfec05b6337aa5dcd0dc3068e73c9a58 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 22:25:35 +0200
Subject: Flatten nested let bindings

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index ebda6c1..95dd430 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit ebda6c150056f4e7a801ee11f611be86ce694e8a
+Subproject commit 95dd43037ce516907b0919a6cf2e8a9089b67f73
-- 
cgit v1.2.3


From e81ab9a553bf82f20fa0b0344926258176a21dac Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 22:28:36 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 95dd430..9f259cd 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 95dd43037ce516907b0919a6cf2e8a9089b67f73
+Subproject commit 9f259cd68870b912fbf2f2a08cd63dc3ccba9dc3
-- 
cgit v1.2.3


From 071ba528cd8c6a222be345ddec7560bb45cca6be Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 8 Aug 2019 19:33:07 +0200
Subject: Add support for dependent types

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 9f259cd..bf9783f 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 9f259cd68870b912fbf2f2a08cd63dc3ccba9dc3
+Subproject commit bf9783fc4298d5d54897af1631d677b05dd19db5
-- 
cgit v1.2.3


From 4d94c3bbf955c5c32cee0651820484c4e4b6cd90 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 8 Aug 2019 19:45:52 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index bf9783f..9729d89 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit bf9783fc4298d5d54897af1631d677b05dd19db5
+Subproject commit 9729d8939a6c79adf9a26dd20978fba6ec39bbec
-- 
cgit v1.2.3


From 80c8d87db595c91293af75d710464ac5379c7e28 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 10 Aug 2019 22:48:21 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 9729d89..fb1c41d 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 9729d8939a6c79adf9a26dd20978fba6ec39bbec
+Subproject commit fb1c41ddec1d35dadd89a70780698e1a73e179bd
-- 
cgit v1.2.3


From 37767c518e3910635b770c8d752f1c67a4391cfc Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 12 Aug 2019 21:56:43 +0200
Subject: Fix a test

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index fb1c41d..7ab25f8 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit fb1c41ddec1d35dadd89a70780698e1a73e179bd
+Subproject commit 7ab25f8b089bd7e41b673a32d9330e4acb067735
-- 
cgit v1.2.3


From 7d17d39005531cb77d8eaf32ed7de8938c66f874 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 12 Aug 2019 23:27:55 +0200
Subject: Remove grammar workaround

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 7ab25f8..235d2c0 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 7ab25f8b089bd7e41b673a32d9330e4acb067735
+Subproject commit 235d2c0b11a539003d2de6110f8666e93ae1ccdb
-- 
cgit v1.2.3