From 7336787af41adc4dfe650f7c7f10f9c7c3c011db Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 4 Apr 2019 15:41:17 +0200
Subject: Update dhall-lang submodule

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 148a57f..6ba1bfc 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,7 @@ This language is defined by a [standard](https://github.com/dhall-lang/dhall-lan
 - Parsing: 100%
 - Imports: 0%
 - Normalization: 74%
-- Typechecking: 77%
+- Typechecking: 78%
 
 You can see what's missing from the commented out tests in `dhall/tests`.
 
-- 
cgit v1.2.3