Remove IORef indirection from TheoremDB#1882
Merged
mergify[bot] merged 8 commits intomasterfrom purify-theoremdbJun 30, 2023
+110-96
Commits
Commits on Jun 26, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}