Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/TT'T'I/

: Supertype ( TT'T'I t tt i ) ~ ( tt ( t i ) )

Available infix type operators:

: t `TT'T'I` tt | precedence = 7

Some related wrappers:

> TT'T'I : t ( tt i ) `AR___` tt `TT'T'I` t `T'I_` i