blob: 978ca325bfa5be7b9016f3cab2223d6ce2b7603c (
plain)
1
2
3
4
5
|
- **Changed:** Primitive arrays are now irrelevant in their single
polymorphic universe (same as a polymorphic cumulative list
inductive would be) (`#13356
<https://github.com/coq/coq/pull/13356>`_, fixes `#13354
<https://github.com/coq/coq/issues/13354>`_, by Gaëtan Gilbert).
|
