1 files changed, 1 insertions, 1 deletions

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`.