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

More CHANGELOG.

parent f05baf13
No related branches found
No related tags found
1 merge request!125Lookup total lemmas
......@@ -33,7 +33,9 @@ API-breaking change is listed.
- Add type class `LookupTotal` with total lookup operation `(!!!) : M → K → A`.
Provide instances for `list`, `fin_map`, and `vec`, as well as corresponding
lemmas for the operations on these types. The instance for `vec` replaces the
ad-hoc `!!!` definition.
ad-hoc `!!!` definition. As a consequence, arguments of `!!!` are no longer
parsed in `vec_scope` and `fin_scope`, respectively. Moreover, since `!!!`
is overloaded, coercions around `!!!` no longer work.
## std++ 1.2.1 (released 2019-08-29)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment