Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Given/
:
Supertype
(
Given
i
ii
) ~ (
i
`AR`
ii
)
>
Given
:
i
`AR_`
ii
`AR_____`
Given
i
ii
>
`yor`
:
∀
a
o
.
Given
i
o
`AR____`
i
`AR__`
o
>
`yo`
:
∀
a
o
.
Given
i
a
`AR_____`
a
`AR____`
o
`AR____`
Given
i
o
>
`yok`
:
∀
a
o
.
Given
i
a
`AR_____`
a
`AR____`
Given
i
o
`AR____`
Given
i
o