Murat Kasimov

More about me

Я language (β)

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

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

Available behaviour: Forth, Focus.

Covariant Functor from Arrow into Arrow:

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

Available instantiated morphisms:

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

Available components of natural transformations:

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