Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/empty/

Work in progress...

> empty : t i

Incomplete list of supported primitives:

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