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 e4411d3..8ed7711 100644
--- a/README.md
+++ b/README.md
@@ -72,7 +72,7 @@ assert_eq!(deserialized_map, expected_map);
## Standard-compliance
This implementation currently supports most of the [Dhall
-standard](https://github.com/dhall-lang/dhall-lang) version `14.0.0`.
+standard](https://github.com/dhall-lang/dhall-lang) version `15.0.0`.
The main missing features are import caching and import headers. See
[here](https://github.com/Nadrieril/dhall-rust/issues?q=is%3Aopen+is%3Aissue+label%3Astandard-compliance)
@@ -169,6 +169,7 @@ same name as the corresponding test.
#### [Unreleased]
+- Update to supporting dhall v15.0.0
- Deserialize `Prelude.Map` and `toMap` to a map instead of a list.
#### [0.5.1] - 2020-04-09
diff --git a/dhall-lang b/dhall-lang
-Subproject 99d84e47ed9c64cee9c48212ca8f2af9320cdda
+Subproject a53a620df888b97fe23598356be7157bda0c8e2