Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Arrow/

: ( i `AR` ii ) ~ ( ii `RA` i ) ~ ( Arrow i ii )

Subtypes: Scope, Event.

Factoring through Void:

`hv` : Arrow a o `AR_____` Arrow a o

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

`yai` : Arrow a _ `AR_____` a `RA` o `AR____` Arrow o _

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

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