Skip to content

1.0.0

Latest
Latest
Compare
Choose a tag to compare
@jwiegley jwiegley released this 19 Aug 00:24
· 342 commits to master since this release
1.0.0
This tag was signed with the committer’s verified signature. The key has expired.
jwiegley John Wiegley
GPG key ID: E0F96E618528E465
Expired
Learn about vigilant mode.
1a3db21
This commit was signed with the committer’s verified signature. The key has expired.
jwiegley John Wiegley
GPG key ID: E0F96E618528E465
Expired
Learn about vigilant mode.

This is the first formal release of category-theory, submitted to Opam.

Assets 2