caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Either
/
Kind
Copy path to clipboard
Source
λ(
a
: Kind) → λ(
b
: Kind) → < Left :
a
| Right :
b
>
