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