Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/T'TT'I'TTT'I/
:
Supertype
(
T'TT'I'TTT'I
t
tt
ttt
i
) ~ (
t
(
tt
i
)
(
ttt
i
)
)
>
Clasp
:
forall
tt
ttt
i
t
.
t
(
tt
i
)
(
ttt
i
)
`AR_______`
T'TT'I'TTT'I
t
tt
ttt
i