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