Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/hap/
[H]om
functor
mapping
contr[A]variantly
(
`ha`
)
through
[P]roduct
(
`P`
)
`hap`
:
target
a
o
`AR____`
target
aa
oo
`AR____`
target
(
a
`P`
aa
)
(
o
`P`
oo
)
Available stretched versions (starting precedence is
8
):
`hap_`
,
`hap__`
,
`hap___`
,
`hap____`
,
`hap_____`
,
`hap______`