Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Match/
:
(
Predicate
i
) ~ (
Match
i
)
:
Supertype
(
Match
i
) ~ (
i
`AR__`
Boolean
)
Contravariant Endo Functor
from
Arrow
into
Arrow
:
>
`ya`
:
Match
a
`AR_______`
a
`RA`
o
`AR______`
Match
o