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` : Tree a `AR______` a `AR` o `AR_____` Tree o > `kyo` : Tree a `AR______` tt a `AR` o `AR______` Tree o > `yokl` : Tree a `AR_____` a `AR` tt o `AR______` tt ( Tree o ) > `kyokl` : Tree a `AR_____` tt a `AR` ttt o `AR______` ttt ( Tree o )
> derive `ha` Adapt : Tree `C'AR__` Scrolling Tree > derive `ha` Adapt : Scrolling Tree `C'AR__` Tree