Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/C'AR/

Component of some natural transfromation in Arrow category.

: C'AR - [C]component [AR]row

Available infix type operators:

: t `C'AR` tt | precedence = 8 : t `C'AR_` tt | precedence = 7 : t `C'AR__` tt | precedence = 6 : t `C'AR___` tt | precedence = 5 : t `C'AR____` tt | precedence = 4 : t `C'AR_____` tt | precedence = 3 : t `C'AR______` tt | precedence = 2