Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/State/
:
Supertype
(
State
i
ii
) ~ (
Event
i
ii
)
:
Basetype
(
State
i
ii
) ~ (
i
`AR__`
ii
`P`
i
)
>
State
:
Event
i
ii
`AR_____`
State
i
ii
>
`yo`
:
State
_
a
`AR______`
a
`AR`
o
`AR_____`
State
_
o
>
`yok`
:
State
_
a
`AR_____`
a
`AR`
tt
o
`AR_____`
State
_
o
>
`yor`
:
State
i
o
`AR___`
i
`AR`
o
>
`yp`
:
State
_
(
i
)
`P`
State
_
(
ii
)
`AR____`
State
_
(
i
`P`
ii
)
>
Arrow
`har`
derive
`ha`
Adapt
:
Reach
i
`C'AR______`
State
i