From fa6de4c077ab4f1c28d2ec64a33a3be8c5a9bb1c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 22 Dec 2019 18:24:21 +0000
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 781961f..1457988 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 781961f4694667667f093d28e7b35569c67678c4
+Subproject commit 145798835f4ea7e4b30f1eccd651e9f25cca1e2c
-- 
cgit v1.2.3


From 54d7e61ad40682ee24e36288980ee4164ea87c34 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 22 Dec 2019 18:38:05 +0000
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 1457988..b760b41 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 145798835f4ea7e4b30f1eccd651e9f25cca1e2c
+Subproject commit b760b4183c8c589e3572a7f9e049d60e69ca53dd
-- 
cgit v1.2.3


From e294450e1e76491e96019b8a3695463e09d1739b Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 22 Dec 2019 19:02:18 +0000
Subject: Implement parsing for record completion

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

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index b760b41..e95d863 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit b760b4183c8c589e3572a7f9e049d60e69ca53dd
+Subproject commit e95d863766356c3b5a299c1db1c299df7a315294
-- 
cgit v1.2.3


From d48bec76ad60878e0ebfd2cd468e5f961d9dfcc9 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 22 Dec 2019 19:10:59 +0000
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 e95d863..8098184 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit e95d863766356c3b5a299c1db1c299df7a315294
+Subproject commit 8098184d17c3aecc82674a7b874077a7641be05a
-- 
cgit v1.2.3


From a775c2c1019c1c2c21bf09cf10ca8e3916462bb8 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 22 Dec 2019 19:12:37 +0000
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 8098184..31e90e1 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 8098184d17c3aecc82674a7b874077a7641be05a
+Subproject commit 31e90e1996f6c4cb50e03ccb1f3c45beb4bd278c
-- 
cgit v1.2.3


From faccb680fbede2191e23161e7060be843bcc229e Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 22 Dec 2019 19:16:34 +0000
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 31e90e1..0ee92af 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 31e90e1996f6c4cb50e03ccb1f3c45beb4bd278c
+Subproject commit 0ee92af46a01a889c6d8d7c72926c959d034b19b
-- 
cgit v1.2.3


From cb2097ed82c7aa23f555cb27a7e27a32863de09a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 22 Dec 2019 20:08:42 +0000
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 0ee92af..89bbf42 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 0ee92af46a01a889c6d8d7c72926c959d034b19b
+Subproject commit 89bbf42f9fd3e9e09f0a15aac9a23d309e50b155
-- 
cgit v1.2.3


From 0e928ebde4ab8b662499eb716f366b97479c75fc Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 23 Dec 2019 21:59:47 +0000
Subject: Add two new Integer builtins

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

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 89bbf42..ee12030 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 89bbf42f9fd3e9e09f0a15aac9a23d309e50b155
+Subproject commit ee120309828f8a18b3267d192e3030add2a718e5
-- 
cgit v1.2.3


From a93065fce4c55188122bee02a11d8990b0d154ce Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 23 Dec 2019 22:05:23 +0000
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 ee12030..3b31dea 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit ee120309828f8a18b3267d192e3030add2a718e5
+Subproject commit 3b31dea1ba47f9de041a7288826f07a05a167ba7
-- 
cgit v1.2.3


From 4c7deccba50cb6d46134362128e3cb25c693c153 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 23 Dec 2019 22:30:27 +0000
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 3b31dea..464b735 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 3b31dea1ba47f9de041a7288826f07a05a167ba7
+Subproject commit 464b7358545a0d5c10d0aa987fed94bedc7f5162
-- 
cgit v1.2.3


From c7a8a3879e04bc027881653e629822f989d45876 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 23 Dec 2019 22:32:02 +0000
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 464b735..9f24813 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 464b7358545a0d5c10d0aa987fed94bedc7f5162
+Subproject commit 9f248138f69ee5e22192dc3d0417d5c77b189e04
-- 
cgit v1.2.3


From 12d6a22c7dcdc0cb6e169b082b4553caec0e6027 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 23 Dec 2019 22:48:51 +0000
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 9f24813..c7dd51e 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 9f248138f69ee5e22192dc3d0417d5c77b189e04
+Subproject commit c7dd51ec433e07433243cf1a1134655dbab6cc95
-- 
cgit v1.2.3


From 5f52c5bda0277edd87323eb67dcda721cd18a9d3 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 24 Dec 2019 20:23:19 +0000
Subject: Extend merge to work on Optionals

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

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index c7dd51e..0c99dc6 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit c7dd51ec433e07433243cf1a1134655dbab6cc95
+Subproject commit 0c99dc6f53919fc2df6b965877c355b62cf6ba02
-- 
cgit v1.2.3