Skip to content

Silver 0.4.4
Compare
Choose a tag to compare
@krame505 krame505 released this 08 Oct 02:57
· 2738 commits to master since this release
v0.4.4
4695479
  • Implement strategy attributes
  • Fixes to pattern matching order semantics
  • Other minor changes to rule semantics for consistency with papers
Assets 4
Loading