summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2020-03-18 00:02:05 +0000
committerNadrieril2020-03-18 00:02:05 +0000
commit8a9b1d75291d826e4235eb4e466e4fd70137dc90 (patch)
tree52dfd388b19e617fd0b62ae864d7183733c2a4f6
parentf42ab8acdaa4dee753b7daccfed1ca3c8738095a (diff)
Update README
Diffstat (limited to '')
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md
index 19912e1..428533e 100644
--- a/README.md
+++ b/README.md
@@ -159,6 +159,7 @@ same name as the corresponding test.
[???]
+- `dhall` now uses the stable Rust toolchain !
- Implement record puns
- Add support for `with` keyword
- Implement remote imports with conservative sanity checking