caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Semigroup
Copy path to clipboard
Exported files:
Kind
Sort
Type
functor
laws
package.dhall
terms.dhall
Exported packages:
Commutative/
Inverse/
