summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorNadrieril2020-02-20 19:04:46 +0000
committerNadrieril2020-02-20 19:04:46 +0000
commitf24879c16d82d2ecb2294596ffa45573f02185d0 (patch)
tree43255bc0fbac743bae481283f8b8af64b52be706 /README.md
parent6642077368497583113d685d351ec93d230ffcad (diff)
Support spec v14
Diffstat (limited to 'README.md')
-rw-r--r--README.md3
1 files changed, 2 insertions, 1 deletions
diff --git a/README.md b/README.md
index e620e38..2f90743 100644
--- a/README.md
+++ b/README.md
@@ -63,7 +63,7 @@ assert_eq!(deserialized_map, expected_map);
## Standard-compliance
This implementation currently supports partially the [Dhall
-standard](https://github.com/dhall-lang/dhall-lang) version `13.0.0`.
+standard](https://github.com/dhall-lang/dhall-lang) version `14.0.0`.
Only local imports are supported, but otherwise the main features are
implemented. See
@@ -161,6 +161,7 @@ same name as the corresponding test.
[???]
+- Update to supporting dhall v14.0.0
- Add support for dotted field syntax
- Disallow Natural literals with leading zeros
- Add support for duplicate record fields