summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md3
m---------dhall-lang0
2 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
diff --git a/dhall-lang b/dhall-lang
-Subproject ec4fe8ac58aa3d91f94223834ab6acfe57c3a42
+Subproject 09b204377a4b78df5b67bced0ef2c8e0bafd0ac