Skip to content
Snippets Groups Projects
Commit 76b66f20 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

CHANGELOG entry for !169.

parent 92dc4869
No related branches found
No related tags found
No related merge requests found
Pipeline #31481 passed
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
CHANGELOG.md
+ 2
− 0
View file @ 76b66f20
...@@ -35,6 +35,8 @@ sarahzrf, and Tej Chajed. ...@@ -35,6 +35,8 @@ sarahzrf, and Tej Chajed.
as integers `Z`, in analogy with `encode_nat`/`decode_nat`. as integers `Z`, in analogy with `encode_nat`/`decode_nat`.
- Fix list `Datatypes.length` and string `strings.length` shadowing (`length` - Fix list `Datatypes.length` and string `strings.length` shadowing (`length`
should now always be `Datatypes.length`). should now always be `Datatypes.length`).
- Change the notation for pattern matching monadic bind into `'pat ← x; y`. It
was `''pat ← x; y` (with double `'`) due to a shortcoming of Coq ≤8.7.
## std++ 1.3 (released 2020-03-18) ## std++ 1.3 (released 2020-03-18)
......
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