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