Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Stump/

This is a label for transforming Stops into Maybe, i.e. replace information about Error with Unit.

> to `ha` Stump `ha` Valid `hv'he` A = Exist `hv'he` A > to `ha` Stump `ha` Error `hv'he` B = Empty `hv` Unit

This is how you would do the same thing manually:

> Error `hu'he` Empty `la` Exist `hv__` Valid `hv'he` A = Exist `hv'he` A > Error `hu'he` Empty `la` Exist `hv__` Error `hv'he` B = Empty `hv` Unit