Skip to content

JonPRL v0.1.0

Latest
Compare
Choose a tag to compare
@jonsterling jonsterling released this 09 Sep 00:20
· 72 commits to master since this release
Merge pull request #234 from jozefg/master

Simplified inconsistent DecideEq rule