Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Scrolling Tree/

: ( Scrolling Tree ) ~ ( Tree `P'T'I'TT'I` List `T'TT'I` Shafted Tree )

Covariant Endo Functor from Arrow into Arrow:

> `yo` : Scrolling Tree a `AR_______` a `AR` o `AR______` Scrolling Tree o

Some related instantiated morphisms:

at : Supertype ( Scrolling List i `AT__` Tree i ) at : Supertype ( Scrolling List i `AT__` List `T'TT'I` Shafted Tree `T'I_` i )

Some related natural transformations:

: Tree `C'AR_____` Scrolling Tree : Scrolling Tree `C'AR_____` Tree

Available behaviour: Forth, Focus.