Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Recursive/
:
Supertype
(
Recursive
t
) ~ (
t
(
Recursive
t
)
)
The only one polymoprhic primitive that is not a
functor
.