Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Prefix List/
:
Supertype
(
Prefix List
i
ii
) ~ (
List
(
Along
i
ii
)
)
:
Basetype
(
Prefix List
i
ii
) ~ (
Unit
`S`
(
Nonempty List
(
Along
i
ii
)
)
)
>
`yo`
:
∀
a
o
.
Prefix List
i
a
`AR_____`
a
`AR____`
o
`AR____`
Prefix List
i
o