Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/has/
[H]om
functor
mapping
contr[A]variantly
(
`ha`
)
through
[S]um
(
`S`
)
`has`
:
target
a
o
`AR____`
target
aa
o
`AR____`
target
(
a
`S`
aa
)
o
Available stretched versions (starting precedence is
8
):
`has_`
,
`has__`
,
`has___`
,
`has____`
,
`has_____`
,
`has______`