diff options
| author | Nadrieril | 2019-04-12 16:37:21 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-12 16:37:21 +0200 |
| commit | 539a47b19b6b0e2e7dbbbf7511285c41ee161860 (patch) | |
| tree | 50f2be2a145d056b947a07ee579edcfbd4e0839a | |
| parent | 35e19e0f7c3dcfcd4203a3aaaa73d6f26db276f5 (diff) | |
Fix README
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -16,5 +16,5 @@ This is still quite unstable so use at your own risk. Documentation is severely - Normalization: 74% - Typechecking: 66% -You can see what's missing from the commented out tests in `dhall/tests`. +You can see what's missing from the commented out tests in `dhall/src/normalize.rs` and `dhall/src/typecheck.rs`. |