Skip to content

Version v0.1

Pre-release
Pre-release
Compare
Choose a tag to compare
@magnus-madsen magnus-madsen released this 18 Apr 15:22
· 5378 commits to master since this release

Version v0.1:

  • Added standard library.
  • Added support for pattern matching in rules.
  • Added if guards.
  • Improved error messages.
  • Improved the performance of the solver.
  • Fixed numerous bugs.