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