Open EduardoRFS opened 5 months ago
Checking the equality of two different fixpoint is tricky and I personally don't really know a good strategy that balances performance, reasonable behavior and satisfy most cases.
Context
Checking the equality of two different fixpoint is tricky and I personally don't really know a good strategy that balances performance, reasonable behavior and satisfy most cases.