summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md18
m---------dhall-lang0
2 files changed, 14 insertions, 4 deletions
diff --git a/README.md b/README.md
index aa5cc61..664b167 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 `12.0.0`.
+standard](https://github.com/dhall-lang/dhall-lang) version `13.0.0`.
Only local imports are supported, but otherwise the main features are
implemented. See
@@ -159,11 +159,21 @@ same name as the corresponding test.
## Changelog
-- 0.2.1: Improve documentation and deserialize many more types
+[???]
-- 0.2.0: Update to supporting dhall v12.0.0
+Update to supporting dhall v13.0.0
-- 0.1.0: Initial release
+[0.2.1]
+
+Improve documentation and deserialize many more types
+
+[0.2.0]
+
+Update to supporting dhall v12.0.0
+
+[0.1.0]
+
+Initial release
## License
diff --git a/dhall-lang b/dhall-lang
-Subproject e2d08ebf5fb5770b57d0681131bed4289d0bb62
+Subproject 48db9e1ff1f8881fa4310085834fbc19e313ebf