summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-03-24 21:44:04 +0100
committerNadrieril2019-03-24 21:44:04 +0100
commit46547336e11800e3fb8bf8bf341a39d98ce6a7fa (patch)
treeb070f6e7a7715fd7f0e2fb2bed450c169635de92
parentd0978c35d88811462de5c448a24770f73b321e70 (diff)
Add standard compliance numbers to README
-rw-r--r--README.md9
1 files changed, 9 insertions, 0 deletions
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 !