blob: fbade033d228ac12d5d591a1a3e61895f6ff8a77 (
plain)
1
2
3
4
5
6
|
- **Added:**
Built-in support for persistent arrays, which expose a functional
interface but are implemented using an imperative data structure, for
better performance.
(`#11604 <https://github.com/coq/coq/pull/11604>`_,
by Maxime Dénès and Benjamin Grégoire, with help from Gaëtan Gilbert).
|
