Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/C'TR/
Component
of some
semi natural transfromation
in
Event
pre-category
.
:
C'TR
-
[C]omponent
[TR]ansition
:
C'TR
t
tt
~
forall
i
.
t
i
`TR`
tt
i
Available infix type operators:
:
t
`C'TR`
tt
| precedence = 8
:
t
`C'TR_`
tt
| precedence = 7
:
t
`C'TR__`
tt
| precedence = 6