Skip to content

Curryst 0.4
Compare
Choose a tag to compare
@MDLC01 MDLC01 released this 20 Feb 20:34
· 6 commits to main since this release
v0.4
bea274d
  • Added support for top-to-bottom trees.
  • Improved the look of rules with wide conclusions.
  • Fixed multiple issues with multi-line premises.
Assets 3
Loading