caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Category
/
Op
/
categorySort
Copy path to clipboard
Source
λ(
cat
:
../Sort
) →
{ arrow = λ(
a
: Kind) → λ(
b
: Kind) →
cat
.arrow
b
a
} :
../Sort
