Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Stops/
:
Supertype
(
Stops
i
ii
) ~ (
i
`S`
ii
)
:
Basetype
(
Stops
i
ii
) ~ (
i
`S`
ii
)
>
Stops
:
i
`S`
ii
`AR__`
Stops
i
ii
>
Error
,
Break
:
i
`AR_____`
Stops
i
ii
>
Valid
,
Going
,
Ok
:
ii
`AR____`
Stops
i
ii
>
`yo`
:
∀
a
o
.
Stops
i
a
`AR_____`
a
`AR____`
o
`AR____`
Stops
i
o
>
`yok`
:
∀
a
o
.
Stops
i
a
`AR_____`
a
`AR____`
Stops
e
o
`AR____`
Stops
i
o
>
`yokl`
:
∀
a
o
.
Stops
i
a
`AR___`
a
`AR__`
Maybe
o
`AR__`
Maybe
(
Stops
i
o
)
>
`yokl`
:
∀
a
o
.
Stops
i
a
`AR___`
a
`AR__`
Stops
e
o
`AR__`
Stops
e
(
Stops
i
o
)
>
`yokl`
:
∀
a
o
.
Stops
i
a
`AR___`
a
`AR__`
State
e
o
`AR__`
State
e
(
Stops
i
o
)
>
`yokl`
:
∀
a
o
.
Stops
i
a
`AR___`
a
`AR__`
World
o
`AR__`
World
(
Stops
i
o
)
>
`yp`
:
Stops
_
o
`P`
Stops
_
oo
`AR____`
Stops
_
(
o
`P`
oo
)
>
`ys`
:
Stops
_
o
`P`
Stops
_
oo
`AR____`
Stops
_
(
o
`S`
oo
)
>
Arrow
`har`
derive
`ha`
Stump
:
Stops
i
`C'AR__`
Maybe