diff options
author | Nadrieril | 2019-03-24 21:44:04 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-24 21:44:04 +0100 |
commit | 46547336e11800e3fb8bf8bf341a39d98ce6a7fa (patch) | |
tree | b070f6e7a7715fd7f0e2fb2bed450c169635de92 | |
parent | d0978c35d88811462de5c448a24770f73b321e70 (diff) |
Add standard compliance numbers to README
-rw-r--r-- | README.md | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -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 ! |