Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Merge/

> Merge : forall t tt ttt i . t `P'T'I'TT'I` tt `C'AR____` ( t `P'T'I'TT'I` tt ) `L` ttt `T` _

Use this label whenever you need to merge one datastructure into another one:

> derive `ha` Merge `ha` Clasp >> `har___` Null `ho'vt` Unit `ryo` Enter @ List >>> `hjd__` Null `ho'vt` Unit `ryo` Enter @ List === Null `ho'vt` Unit `ryo` Enter @ List > derive `ha` Merge `ha` Clasp >> `har___` Only `ho'ut'st` A `ryo` Enter @ List >>> `hjd__` Null `ho'vt` Unit `ryo` Enter @ List === Only `ho'ut'st` A `ryo` Enter @ List