Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Place/
:
(
Place
i
ii
) ~ (
Assignment
i
ii
) ~ (
i
`AS`
ii
) ~ (
ii
`SA`
i
)
>
Place
:
i
`AR`
ii
`P_`
i
`AR____`
Place
i
ii
>
`st`
:
Place
i
ii
`AR_______`
i
`AR`
ii
`P_`
i
>
`bt`
:
Place
i
ii
`AR_______`
i
`AR`
ii
`P_`
i
>
`ts`
:
Place
i
ii
`AR_______`
Store
i
ii
Covariant Functor
from
Arrow
into
Arrow
(2/2 argument):
>
`yio`
:
Place
_
a
`AR_______`
a
`AR`
o
`AR______`
Place
_
o