From 46547336e11800e3fb8bf8bf341a39d98ce6a7fa Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 24 Mar 2019 21:44:04 +0100 Subject: Add standard compliance numbers to README --- README.md | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 296cad5..148a57f 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,15 @@ This is a WIP implementation in Rust of the [dhall](https://dhall-lang.org) conf This language is defined by a [standard](https://github.com/dhall-lang/dhall-lang), and this implementation tries its best to respect it. +## Standard-compliance + +- Parsing: 100% +- Imports: 0% +- Normalization: 74% +- Typechecking: 77% + +You can see what's missing from the commented out tests in `dhall/tests`. + ## Help wanted ! This is a really fun project and there is a ton of things to do ! -- cgit v1.2.3