diff options
-rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -14,9 +14,9 @@ This is still quite unstable so use at your own risk. Documentation is severely ## Standard-compliance - Parsing: 100% -- Imports: 0% -- Normalization: 74% -- Typechecking: 66% +- Imports: 10% +- Normalization: 81% +- Typechecking: 83% You can see what's missing from the commented out tests in `dhall/src/normalize.rs` and `dhall/src/typecheck.rs`. |