Skip to content

v0.7.6

Latest
Latest
Compare
Choose a tag to compare
@fizruk fizruk released this 14 Aug 11:40
· 3 commits to develop since this release
v0.7.6
a04eeab

Minor fixes:

  • Support BNFC 2.9.6 (see #201)
  • Fix typo in the sHoTT link (see #194)
  • Fix tuple pattern syntax (see #193 and #191)
Assets 6
Loading