Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Label/
:
(
t
`L`
tt
`T`
l
`T`
i
) ~ (
Label
t
tt
l
i
)
:
Supertype
(
Label
t
tt
l
i
) ~ (
t
i
)