Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/empty/

Work in progress...

> empty : t i

Incomplete list of supported primitives:

> empty : Maybe i > empty : Boolean > empty : List i > empty : Shafted List i