This (of course) requires more testing, but I'm happy to say that the core feature -- converting a vector to an array, and allowing insertions and removal of entries is working, reasonably well tested.
Removal is essential because in any world we have finite resources for storing programs & need to remove those that don't matter or aren't on the path to solving a specification.
Note complete automatic removal of old nodes is not complete. It works ok atm.
This (of course) requires more testing, but I'm happy to say that the core feature -- converting a vector to an array, and allowing insertions and removal of entries is working, reasonably well tested.
Removal is essential because in any world we have finite resources for storing programs & need to remove those that don't matter or aren't on the path to solving a specification.
Note complete automatic removal of old nodes is not complete. It works ok atm.