dada
Switch Light/Dark Mode
/
dada
/
algebra
Copy path to clipboard
Source
λ(
f
: Type → Type) → λ(
a
: Type) →
f
a
→
a
