Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/S'T'I'TT'I/
:
(
S'T'I'TT'I
t
tt
i
) ~ (
T'TT'I'TTT'I
S
t
tt
i
)
:
(
t
`S'T'I'TT'I`
tt
| precedence = 5
) ~ (
S'T'I'TT'I
t
tt
)
:
Supertype
(
t
`S'T'I'TT'I`
tt
`T'I___`
i
) ~ (
t
i
`S`
tt
i
)
>
Clasp
:
t
i
`S`
tt
i
`AR_______`
t
`S'T'I'TT'I`
tt
`T'I___`
i
>
`yjd`
:
∀
o
,
∃
t
tt
ttt
tttt
.
o
`AR___`
(
ttt
`P'T'I'TT'I`
tttt
)
(
t
`S'T'I'TT'I`
tt
`T'I___`
o
)
>
`ydj`
:
∀
o
,
∃
t
tt
ttt
tttt
.
(
t
`S'T'I'TT'I`
tt
)
(
ttt
`P'T'I'TT'I`
tttt
`T'I___`
o
)
`AR___`
o
>
`yor`
:
∀
a
o
,
∃
t
tt
r
.
t
`S'T'I'TT'I`
tt
`T'I___`
o
`AR____`
r
`AR__`
o
>
`yo`
:
∀
a
o
,
∃
t
tt
.
t
`S'T'I'TT'I`
tt
`T'I___`
a
`AR_____`
a
`AR____`
o
`AR____`
t
`S'T'I'TT'I`
tt
`T'I___`
o
>
`kyo`
:
∀
a
o
,
∃
t
tt
ttt
tttt
.
t
`S'T'I'TT'I`
tt
`T'I___`
a
`AR____`
(
ttt
`S'T'I'TT'I`
tttt
)
a
`AR__`
o
`AR__`
t
`S'T'I'TT'I`
tt
`T'I___`
o
>
`yok`
:
∀
a
o
,
∃
t
tt
ttt
.
t
`S'T'I'TT'I`
tt
`T'I___`
a
`AR_____`
a
`AR____`
ttt
o
`AR____`
t
`S'T'I'TT'I`
tt
`T'I___`
o
>
`yokl`
:
∀
a
o
,
∃
t
tt
ttt
.
t
`S'T'I'TT'I`
tt
`T'I___`
a
`AR___`
a
`AR__`
ttt
o
`AR__`
ttt
(
t
`S'T'I'TT'I`
tt
`T'I___`
o
)