Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Along/
:
Supertype
(
Along
i
ii
) ~ (
ii
`P`
i
)
:
Basetype
(
Along
i
ii
) ~ (
ii
`P`
i
)
>
Along
:
ii
`P`
i
`AR__`
Along
i
ii
>
`yjd`
:
∀
o
.
o
`AR___`
Given
i
(
Along
i
o
)
>
`yjd`
:
∀
o
.
o
`AR___`
Twice
(
Along
(
Unit
`S`
Unit
)
o
)
>
`ydj`
:
∀
o
.
Along
i
(
Given
i
o
)
`AR___`
o
>
`ydj`
:
∀
o
.
Along
(
Unit
`S`
Unit
)
(
Twice
o
)
`AR___`
o
>
`yor`
:
∀
a
o
.
Along
i
o
`AR____`
Unit
`AR__`
o
>
`yo`
:
∀
a
o
.
Along
i
a
`AR_____`
a
`AR____`
o
`AR____`
Along
i
o
>
`kyo`
:
∀
a
o
.
Along
i
a
`AR____`
Along
i
a
`AR__`
o
`AR__`
Along
i
o
>
`yokl`
:
∀
a
o
.
Along
i
a
`AR___`
a
`AR__`
Maybe
o
`AR__`
Maybe
(
Along
i
o
)
>
`yokl`
:
∀
a
o
.
Along
i
a
`AR___`
a
`AR__`
Stops
e
o
`AR__`
Stops
e
(
Along
i
o
)
>
`yokl`
:
∀
a
o
.
Along
i
a
`AR___`
a
`AR__`
State
e
o
`AR__`
State
e
(
Along
i
o
)
>
`yokl`
:
∀
a
o
.
Along
i
a
`AR___`
a
`AR__`
World
o
`AR__`
World
(
Along
i
o
)
>
`yp`
:
Along
i
o
`P`
Along
i
oo
`AR____`
Along
i
(
o
`P`
oo
)