Skip to content

v1.0.0-rc.2

Pre-release
Pre-release
Compare
Choose a tag to compare
@garyb garyb released this 20 Mar 13:04
· 249 commits to master since this release
v1.0.0-rc.2
4033348
  • 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
Assets 2
Loading