Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/C'AR/
Component
of some
natural transfromation
in
Arrow
category
.
:
C'AR
-
[C]omponent
[AR]row
:
C'AR
t
tt
~
forall
i
.
t
i
`AR`
tt
i
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