Efficient lookup in history, especially for Postable

siddhartha-gadgil / ProvingGround

Proving Ground: Tools for Automated Mathematics

http://siddhartha-gadgil.github.io/ProvingGround/

MIT License

203 stars 38 forks source link

Efficient lookup in history, especially for Postable #298

Closed siddhartha-gadgil closed 3 years ago

siddhartha-gadgil commented 3 years ago

The present implementation is a complicated lookup, when there should be a reference graph just locating the latest with the correct typetag and then returning it.

siddhartha-gadgil commented 3 years ago

Corrected in 6479e6ad39a6d07c44 after deploying in cc5798c4e3db8b5b (implemented before that)