diff options
| author | Nadrieril | 2020-03-18 00:02:05 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-18 00:02:05 +0000 |
| commit | 8a9b1d75291d826e4235eb4e466e4fd70137dc90 (patch) | |
| tree | 52dfd388b19e617fd0b62ae864d7183733c2a4f6 | |
| parent | f42ab8acdaa4dee753b7daccfed1ca3c8738095a (diff) | |
Update README
Diffstat (limited to '')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |