Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/intro/

Arrow and Scope Kleisli morphism:

intro : i `AR___` t i intro : i `AT___` t i

Incomplete list of supported primitives:

intro : i `AR___` Alone i intro : i `AR___` Twice i intro : i `AR___` Maybe i intro : i `AR___` Stops ii i intro : i `AR___` State ii i intro : i `AR___` Given ii i intro : i `AR___` Tree i intro : i `AR___` List i intro : i `AR___` Nonempty List i intro : i `AR___` Scrolling List i intro : i `AR___` State ii `JNT` Given iii `T'I_` i intro : i `AR___` Stops ii `JNT` State iii `T'I_` i intro : i `AR___` Stops ii `JNT` Given iii `T'I_` i intro : i `AR___` World `JNT` Stops ii `T'I_` i intro : i `AR___` World `JNT` Stops ii `JNT` State iii `T'I_` i intro : i `AR___` World `JNT` Stops ii `JNT` State iii `JNT` Given iiii `T'I_` i intro : i `AR___` World `JNT` Stops ii `JNT` Given iii `T'I_` i intro : i `AR___` World `JNT` State ii `T'I_` i intro : i `AR___` World `JNT` State ii `JNT` Given iii `T'I_` i intro : i `AR___` World `JNT` Given ii `T'I_` i intro : i `AT___` Alone i