Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Match/
:
(
Predicate
i
) ~ (
Match
i
)
:
Supertype
(
Match
i
) ~ (
i
`AR`
Boolean
)
>
Match
:
i
`AR__`
Boolean
`AR_____`
Match
i
>
`ya`
:
∀
a
o
.
Match
a
`AR_____`
a
`RA_`
o
`AR____`
Match
o
>
`yar`
:
∀
a
o
.
Match
a
`AR____`
Boolean
`RA__`
a