Loading
Loading

Todo/Wishlist

The current design is sort of snapshot-oriented. David suggested a more history-oriented focus where you could see the previous goals and how things changed. I think that could work much better. (It should be quite easy to switch over to that sort of a model)

Bugs

split doesn't work in ACL2(h) due to memoize being unthreadsafe for whatever reason. Currently we avoid this using pro instead.