caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Category
/
Set
/
monoidal
Copy path to clipboard
Exported files:
cartesian
:
../../../Category/Monoidal/Closed/Cartesian/Kind
cat Type
package.dhall
