Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Construction/
:
Supertype
(
Construction
t
i
) ~ (
Recursive
(
Branching
Product
t
i
)
)
:
Objective
(
Construction
t
i
) ~ (
i
`P`
Supertype
(
Construction
t
i
)
)
:
(
Construction
Maybe
i
) ~ (
Nonempty List
i
)
:
(
Construction
List
i
) ~ (
Tree
i
)