Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/hjd'tb/
(
`hjd`
)
[H]om
functor
A[DJ]oint
(reversed)
(
`tb`
)
[B]ase[T]ype
relation
(reversed)
`hjd'tb`
:
Basetype
ii
~
t
i
e
=>
target
i
(
tt
ee
ii
)
Available stretched versions (starting precedence is
7
):
`hjd_'tb`
`hjd__'tb`
`hjd___'tb`
`hjd____'tb`