Aleks Kissinger
Aleks Kissinger
What's the status of this? It looks like the discussion is inconclusive on whether this should be merged.
Thanks for moving this here from the README. I think it makes more sense as an issue. "simplification-based equality checker" is done now: 789cd97 thanks to @alexandru-duca !
is this PR still alive? If yes, I'll merge it once you fix the conflict.
@lara-madison and @jvdwetering can I go ahead and merge this? Hopefully it doesn't clobber anything else you are working on at the moment.