Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviours/First/

Converting a Product of Maybe items into Maybe Sum of these items:

Exist `hv'he` A `lu'ys` First `ha` Exist `hv'he` B `q______` Exist `ha` This `hv'he` A Empty `hv` Unit `lu'ys` First `ha` Exist `hv'he` B `q_____` Exist `ha` That `hv'he` B Empty `hv` Unit `lu'ys` First `ha` Empty `hv` Unit `q____` Empty `hv` Unit Exist `hv'he` A `lu'ys` First `ha` Empty `hv` Unit `q_____` Exist `ha` This `hv'he` A

Converting a Product of Stops items into Stops Sum of these items:

Valid `hv'he` A `lu'ys` First `ha` Valid `hv'he` B `q______` Valid `ha` This `hv'he` A Error `hv'he` A `lu'ys` First `ha` Valid `hv'he` B `q______` Valid `ha` That `hv'he` B Error `hv'he` A `lu'ys` First `ha` Error `hv'he` B `q______` Error `hv'he` A Valid `hv'he` A `lu'ys` First `ha` Error `hv'he` B `q______` Valid `ha` This `hv'he` A