The latest version of groupoids is 4.0-0.
lib:groupoids
Modules
Dependencies
- base lib:base >=4 && <5
- semigroupoids lib:semigroupoids >=1.2.6.1 && <=1.3
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- category-extras lib:category-extras
- eq lib:eq
- monoid-extras lib:monoid-extras
- semigroupoid-extras lib:semigroupoid-extras
- type-eq lib:type-eq