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