caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Monoid
Copy path to clipboard
Exported files:
Kind
Sort
Type
extractSemigroup
laws
package.dhall
terms.dhall
Exported packages:
Commutative/
Hopf/
