Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Event/

: Supertype ( Event i ii ) ~ ( i `AR__` ii `P` i )

Subtypes: State.

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

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

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

`yio` : Event _ a `AR_____` a `AR` o `AR____` Event _ o