Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Scope/

: ( i `AT` ii ) ~ ( ii `TA` i ) ~ ( Attribute i ii ) ~ ( Scope i ii ) : Supertype ( Scope i ii ) ~ ( i `AR__` ii `P` ( ii `AR` i ) )

Contravariant Endo Functor from Scope into Arrow (1/2 argument):

`yai` : Scope a _ `AR_____` a `TA` o `AR____` Scope o _

Covariant Endo Functor from Scope into Arrow (2/2 argument):

`yio` : Scope _ a `AR_____` a `AT` o `AR____` Scope _ o