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`
:
∀
a
o
.
State
i
a
`AR_____`
a
`AR____`
o
`AR____`
State
i
o
>
`yok`
:
∀
a
o
.
State
i
a
`AR_____`
a
`AR____`
State
i
o
`AR____`
State
i
o
>
`yor`
:
∀
a
o
.
State
i
o
`AR____`
i
`AR__`
o
>
`dcpp`
:
(
State
_
o
)
`P`
(
State
_
oo
)
`AR____`
State
_
(
o
`P`
oo
)
>
Arrow
`har`
derive
`ha`
Adapt
:
Reach
i
`C'AR__`
State
i