Open izuzu-izuzu opened 1 year ago
This commit increments the version number to 0.13.0.2 to include the "simplifier ticks exhausted" fix.
This commit is mainly so that I can upload a new package candidate on Hackage.
(Side question: Should we fix the dependency bounds to follow the Package Versioning Policy?)
This commit increments the version number to 0.13.0.2 to include the "simplifier ticks exhausted" fix.