Murat Kasimov
More about me
Я language (β)
/Я language (β)/Morphisms/push/
>
push
:
i
`AR___`
List
i
`AR_`
i
`P`
List
i
>
push
:
i
`AR___`
Nonempty List
i
`AR_`
i
`P`
Nonempty List
i