Commit c637af6d authored by Guillaume Melquiond's avatar Guillaume Melquiond

Mention new parsing of equivalences.

parent c77ab519
......@@ -40,6 +40,8 @@ Language
* `use T` and `clone T` now import the generated namespace T;
use `use T as T` and `clone T as T` to prevent this :x:
* `pure { <term> }` produces a ghost value in program code
* `a <-> b <-> c` is now parsed as `(a <-> b) /\ (b <-> c)`;
`a <-> b -> c` is now rejected :x:
Standard library
* machine integers in `mach.int.*` are now range types :x:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment