From 0cf63216e96331d56e58ba92a35f95ced2fa23ab Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 6 Apr 2019 12:52:37 +0200
Subject: Add type-inference tests

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

(limited to 'README.md')

diff --git a/README.md b/README.md
index 6ba1bfc..599d48b 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: 78%
+- Typechecking: 66%
 
 You can see what's missing from the commented out tests in `dhall/tests`.
 
-- 
cgit v1.2.3