Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Found/

> Found : forall t . t `C'AR__` t `L` Match `T`

Demonstration: check if all items in List/Nonempty List/Vector of items of logical predicate are satisfied:

> A `has` B `ryo` Enter `yokl` Forth `ha` Found `ha` Match `ha` equals `yar_` A `has` B `ryo` Enter = True Unit > A `has` B `ryo` Enter `yokl` Forth `ha` Found `ha` Match `ha` equals `yar_` B `has` A `ryo` Enter = True Unit > A `has` B `ryo` Enter `yokl` Forth `ha` Found `ha` Match `ha` equals `yar_` B `has` C `ryo` Enter = False Unit