Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Whether/
:
(
i
`W`
ii
) ~ (
Whether
i
ii
)
:
Supertype
(
Whether
i
ii
) ~ (
(
i
`S`
ii
)
`S`
(
i
`P`
ii
)
)
>
`yoi`
:
∀
a
o
.
Whether
a
_
`AR_____`
a
`AR____`
o
`AR____`
Whether
o
_
>
`yio`
:
∀
a
o
.
Whether
_
a
`AR_____`
a
`AR____`
o
`AR____`
Whether
_
o