Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Tree/
:
Supertype
(
Tree
i
) ~ (
Fixed
(
Along
i
`T'TT'I`
List
)
)
:
Basetype
(
Tree
i
) ~ (
List
(
Supertype
(
Tree
i
)
)
`P`
i
)
>
`yo`
:
∀
a
o
.
Tree
a
`AR_____`
a
`AR____`
o
`AR____`
Tree
o
>
`kyo`
:
∀
a
o
.
Tree
a
`AR____`
Tree
a
`AR__`
o
`AR__`
Tree
o
>
derive
`ha`
Adapt
:
Tree
`C'AR__`
Scrolling Tree
>
derive
`ha`
Adapt
:
Scrolling Tree
`C'AR__`
Tree