Closed cyrus- closed 2 months ago
Probably the same bug, but posting just in case it's distinct. I brought a branch of mine (which makes changes to the zipper data type) current with dev, and when I tried to regenerate the Init.ml data, the examples ends up broken:
Yeah, same bug
We accidentally broke the
>
operator...