From 8a9b1d75291d826e4235eb4e466e4fd70137dc90 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 18 Mar 2020 00:02:05 +0000 Subject: Update README --- README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'README.md') 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 -- cgit v1.2.3