Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Scrolling Tree/
:
(
Scrolling Tree
) ~ (
Scrolling List
`T'TT'I`
Tree
`P'T'I'TT'I`
List
`T'TT'I`
(
Alone
`P'T'I'TT'I`
Shafted List
`T'TT'I`
Tree
)
Covariant Endo Functor
from
Arrow
into
Arrow
:
>
`yo`
:
Scrolling Tree
a
`AR_______`
a
`AR`
o
`AR______`
Scrolling Tree
o
Some related
natural transformations
:
:
Nonempty List
`T'TT'I`
Tree
`C'AR__`
Scrolling Tree