I think it would be useful to have an implementation of dynamic arrays in CakeML.
Some references:
For example, the replayer for HOLTrace makes use of Dynarray, and I seem to remember that there are probably some places in our code base where we implement something like a dynamic array whenever it is needed.
I think it would be useful to have an implementation of dynamic arrays in CakeML.
Some references:
For example, the replayer for HOLTrace makes use of
Dynarray, and I seem to remember that there are probably some places in our code base where we implement something like a dynamic array whenever it is needed.