Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Jointed State/
:
(
t
`J'T'TT'I`
State
i
) ~ (
Jointed
`T'I`
State
i
`T'I`
t
)
:
(
Jointed
`T'I`
State
i
`T'I`
t
) ~ (
T'TTT'TT'I
(
Given
i
)
(
Along
i
)
t
)
:
Supertype
(
t
`J'T'TT'I`
State
i
`T'I__`
ii
) ~ (
t
`T'TT`
Along
i
`TT'T`
Given
i
`T'I`
ii
)
>
`yo`
:
∀
a
o
,
∃
t
.
t
`J'T'TT'I`
State
i
`T'I__`
a
`AR_____`
a
`AR____`
o
`AR____`
t
`J'T'TT'I`
State
i
`T'I__`
o
>
`yok`
:
∀
a
o
,
∃
t
.
t
`J'T'TT'I`
State
i
`T'I__`
a
`AR_____`
a
`AR____`
t
o
`AR____`
t
`J'T'TT'I`
State
i
`T'I__`
o
>
`yok`
:
∀
a
o
,
∃
t
.
t
`J'T'TT'I`
State
i
`T'I__`
a
`AR_____`
a
`AR____`
State
i
o
`AR____`
t
`J'T'TT'I`
State
i
`T'I__`
o