Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Alone/
:
(
Alone
i
) ~ (
I
i
)
:
Supertype
(
Alone
i
) ~ (
i
)
>
Alone
:
i
`AR__`
Alone
i
>
`ryo`
:
∀
a
o
.
Unit
`AR`
a
`AR__`
Alone
a
`AR`
o
`AR`
o
>
`yor`
:
∀
a
o
.
Alone
o
`AR____`
Unit
`AR__`
o
>
`yo`
:
∀
a
o
.
Alone
a
`AR_____`
a
`AR____`
o
`AR____`
Alone
o
>
`yokl`
:
∀
a
o
.
Alone
a
`AR___`
a
`AR__`
Maybe
o
`AR__`
Maybe
(
Alone
o
)
>
`yokl`
:
∀
a
o
.
Alone
a
`AR___`
a
`AR__`
Stops
i
o
`AR__`
Stops
i
(
Alone
o
)
>
`yokl`
:
∀
a
o
.
Alone
a
`AR___`
a
`AR__`
State
i
o
`AR__`
State
i
(
Alone
o
)
>
`yokl`
:
∀
a
o
.
Alone
a
`AR___`
a
`AR__`
World
o
`AR__`
World
(
Alone
o
)