Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Stops/

: Supertype ( Stops i ii ) ~ ( i `S` ii ) : Basetype ( Stops i ii ) ~ ( i `S` ii ) > Stops : i `S` ii `AR__` Stops i ii > Error , Break : i `AR_____` Stops i ii > Valid , Going , Ok : ii `AR____` Stops i ii
> `yo` : Stops _ a `AR______` a `AR` o `AR_____` Stops _ o > `yok` : Stops _ a `AR_____` a `AR` tt o `AR_____` Stops _ o > `yokl` : Stops _ a `AR_____` a `AR` tt o `AR______` tt ( Stops _ o ) > `yp` : Stops _ ( i ) `P` Stops _ ( ii ) `AR____` Stops _ ( i `P` ii ) > `ys` : Stops _ ( i ) `P` Stops _ ( ii ) `AR____` Stops _ ( i `S` ii )
> Arrow `har` derive `ha` Stump : Stops i `C'AR__` Maybe