Skip to content

v2.2.0
Compare
Choose a tag to compare
@Deric-W Deric-W released this 09 Sep 13:00
· 41 commits to main since this release
v2.2.0
b2d85d4
This commit was signed with the committer’s verified signature.
Deric-W Eric W.
GPG key ID: 80D2DA428A4A537F
Learn about vigilant mode.

This release adds common combinators and ISZERO to the terms subpackage.

Assets 4