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

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

(limited to 'dhall-lang')

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


From 86508a3ad59a0bfc1e24448d0a0126b1a1c645e1 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 18:52:34 +0000
Subject: Add support for duplicate record fields

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

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 48db9e1..3301f2e 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 48db9e1ff1f8881fa4310085834fbc19e313ebf0
+Subproject commit 3301f2e2a408d9e3953185c51c1a07c668db47b7
-- 
cgit v1.2.3


From 0e07c9cd012efaeae7e1c50a3499a13aef4d2b61 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 18:54:58 +0000
Subject: Disallow Natural literals with leading zeros

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

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 3301f2e..a1f2dc0 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 3301f2e2a408d9e3953185c51c1a07c668db47b7
+Subproject commit a1f2dc019907ec001f28abbd05ca397bddb0975d
-- 
cgit v1.2.3


From 6642077368497583113d685d351ec93d230ffcad Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 19:04:13 +0000
Subject: Add support for dotted field syntax

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

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index a1f2dc0..ec4fe8a 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit a1f2dc019907ec001f28abbd05ca397bddb0975d
+Subproject commit ec4fe8ac58aa3d91f94223834ab6acfe57c3a425
-- 
cgit v1.2.3


From f24879c16d82d2ecb2294596ffa45573f02185d0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 19:04:46 +0000
Subject: Support spec v14

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

(limited to 'dhall-lang')

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


From e5f0602e431bc602f9e1f0045f48056ce6465481 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Feb 2020 19:09:19 +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 09b2043..68c8aa8 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 09b204377a4b78df5b67bced0ef2c8e0bafd0ac0
+Subproject commit 68c8aa875801355a319261c87b547b9a017df3c4
-- 
cgit v1.2.3