Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Twice/
:
Supertype
(
Twice
i
) ~ (
i
`P`
i
)
>
Twice
:
i
`P`
i
`AR_`
Twice
i
>
`yo`
:
Twice
a
`AR______`
a
`AR`
o
`AR_____`
Twice
o
>
`yokl`
:
Twice
a
`AR_____`
a
`AR`
tt
o
`AR______`
tt
(
Twice
o
)
>
`ryo`
:
Unit
`S`
Unit
`AR`
a
`AR___`
Twice
a
`AR`
o
`AR`
o
>
`yor`
:
Twice
o
`AR___`
Unit
`S`
Unit
`AR`
o
>
Arrow
`har`
derive
`ha`
Adapt
:
Twice
`C'AR`
Nonempty List
>
Arrow
`har`
derive
`ha`
Adapt
:
Twice
`C'AR`
List