Skip to content

v1.0.0-rc.2

Pre-release
Pre-release

Choose a tag to compare

@garyb garyb released this 20 Mar 13:04
· 251 commits to master since this release
  • Reworked the hierarchy for number classes to resolve some issues with the laws and admit new instances #61
  • Introduced HeytingAlgebra as a superclass of BooleanAlgebra #62