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