Murat Kasimov
More about me
Я language (β)
/Я language (β)/Morphisms/outro/
Arrow
and
Scope
co-Kleisli
morphism:
>
outro
:
t
i
`AR___`
i
>
outro
:
t
i
`AT___`
i
Incomplete list of supported
primitives
:
>
outro
:
Opted
i
`AR___`
i
>
intro
:
Along
i
`AR___`
i