Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Prefix List/
:
Supertype
(
Prefix List
i
ii
) ~ (
List
(
Along
i
ii
)
)
:
Objective
(
Prefix List
i
ii
) ~ (
Unit
`S`
(
Nonempty List
(
Along
i
ii
)
)
)
Covariant Endo Functor
from
Arrow
into
Arrow
:
>
`yo`
:
Prefix List
_
a
`AR_______`
a
`AR`
o
`AR______`
Prefix List
_
o
Some related instantiated
morphisms
:
>
key
:
i
`AR____`
Supertype
(
Prefix List
i
ii
`AT_`
Stops
i
ii
)