Skip to content

2.0.3

Compare
Choose a tag to compare
@gares gares released this 27 Nov 16:58
· 32 commits to master since this release
v2.0.3
e598092

CHANGES:

Requires Menhir 20211230 and OCaml 4.13 or above.

  • Parser:
    • Fix parsing of infix ==> so that A,B ==> C,D means A, (B => (C,D))
      as it is intended to be.