Skip to content

v1.2.0
Compare
Choose a tag to compare
@valis valis released this 22 Dec 04:59
· 2359 commits to master since this release
v1.2.0
24432b9

New features and updates:

  • Fixed some problems with pattern generator and implemented case split for \Sigma-types and records.
  • It is possible now to adjust the verbosity of pretty printer in error messages.
Assets 2
Loading