Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/hc'bt/
[H]om
functor
in derived
[C]artesian-closed
category
(
`hc`
)
[B]ase[T]ype
relation (
`bt`
)
`hc'bt`
:
target
i
(
t
(
Basetype
a
)
o
)
Available stretched versions (starting precedence is
9
):
`hc_'bt`
,
`hc__'bt`
,
`hc___'bt`
,
`hc____'bt`
,
`hc_____'bt`
,
`hc______'bt`
,
`hc_______'bt`