Murat Kasimov
More about me
Я language (β)
/Я language (β)/Glossary/Functor Composition/
Work in progress...
:
Supertype
(
t
`T'TT'I__`
tt
`T'I___`
i
) ~ (
t
(
tt
i
)
)
:
Supertype
(
t
`P'T'I'TT'I`
tt
`T'I___`
i
) ~ (
t
i
`P`
tt
i
)
:
Supertype
(
t
`S'T'I'TT'I`
tt
`T'I___`
i
) ~ (
t
i
`S`
tt
i
)