v2.1

Two improvements compared with release v2.0:

1. I added the revised theorem statement for the gradual guarantee which corresponds to the final submission version of the PLDI paper.
2. I improved documentation. Both the project website and the README.md on GitHub are now generated from a single Org file.

v2.0 (PLDI 2024)

check

v1.1

doc

v1.0

Happy new year! 🎊

This v1.0 release summarizes our work in 2022. Please refer to README.md for everything we have done so far!

v0.9 Alpha (1st submission)

v0.9-alpha

simplified term erasure