Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Whether/

: ( i `W` ii ) ~ ( Whether i ii ) : Supertype ( Whether i ii ) ~ ( ( i `S` ii ) `S` ( i `P` ii ) ) : Basetype ( Whether i ii ) ~ ( ( i `S` ii ) `S` ( i `P` ii ) )

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

> `yoi` : Whether a _ `AR______` a `AR` o `AR_____` Whether o _

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

> `yio` : Whether _ a `AR______` a `AR` o `AR_____` Whether _ o