dada
Switch Light/Dark Mode
/
dada
/
Const
/
recursive
Copy path to clipboard
Source
λ(
t
: Type) → { cata =
../apply
t
} :
../Recursive/Type
t
(
./Type
t
)
