Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Stock/

> Stock : forall t . List `C'AR__` List `L` t `T` _

Initialises a Sliding List with a sliding window filled by items of a List, and empty Shafted List.

> [ A , B , C ] `yi` derive @ List @ Sliding List `ha` Stock = [ [] , [ A , B , C ] , [] ]

Alternative behaviour is Fresh.