Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Sliding List/
:
Supertype
(
Sliding List
i
) ~ (
List
i
`P`
Shafted List
i
)
>
`yo`
:
∀
a
o
.
Sliding List
a
`AR_____`
a
`AR____`
o
`AR____`
Sliding List
o
>
`yokl`
:
∀
a
o
.
Sliding List
a
`AR___`
a
`AR__`
Maybe
o
`AR__`
Maybe
(
Sliding List
o
)
>
`yokl`
:
∀
a
o
.
Sliding List
a
`AR___`
a
`AR__`
Stops
e
o
`AR__`
Stops
e
(
Sliding List
o
)
>
`yokl`
:
∀
a
o
.
Sliding List
a
`AR___`
a
`AR__`
State
e
o
`AR__`
State
e
(
Sliding List
o
)
>
`yokl`
:
∀
a
o
.
Sliding List
a
`AR___`
a
`AR__`
World
o
`AR__`
World
(
Sliding List
o
)