diff options
| author | Nadrieril | 2019-04-20 23:19:06 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-20 23:19:06 +0200 |
| commit | 86be656790103217ab2e164ac7d7458c6f97e570 (patch) | |
| tree | 90360a1f861e1bc9610554b292558d81e6875182 /README.md | |
| parent | b31690a87e2963d4093210a2c58735a2095e651d (diff) | |
Update readme completion counters
Diffstat (limited to 'README.md')
| -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`. |