Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Product/
:
(
i
`P`
ii
) ~ (
Product
i
ii
)
:
Supertype
(
Twice
i
) ~ (
i
`P`
i
)
:
Supertype
(
Along
i
ii
) ~ (
ii
`P`
i
)
:
Supertype
(
Place
i
ii
) ~ (
i
`AR___`
ii
`P_`
i
)
:
Supertype
(
t
`P'T'I'TT'I`
tt
`T'I___`
i
) ~ (
t
i
`P`
tt
i
)
>
These
:
i
`AR____`
ii
`AR___`
i
`P`
ii
>
`hop`
:
a
`AR`
o
`AR____`
a
`AR`
oo
`AR____`
a
`AR`
o
`P`
oo
>
`hdj`
:
ii
`AR`
i
`P_`
ii
`AR____`
i
>
`yoir`
:
Product
o
_
`AR______`
Unit
`AR`
o
>
`yior`
:
Product
_
o
`AR______`
Unit
`AR`
o
>
`yoor`
:
Product
o
o
`AR______`
Unit
`S`
Unit
`AR`
o
>
`yoi`
:
∀
a
o
.
Product
a
_
`AR_____`
a
`AR____`
o
`AR____`
Product
o
_
>
`yio`
:
∀
a
o
.
Product
_
a
`AR_____`
a
`AR____`
o
`AR____`
Product
_
o
>
`yoikl`
:
∀
a
o
.
Product
a
_
`AR___`
a
`AR__`
Maybe
o
`AR__`
Maybe
(
Product
o
_
)
>
`yoikl`
:
∀
a
o
.
Product
a
_
`AR___`
a
`AR__`
Stops
e
o
`AR__`
Stops
e
(
Product
o
_
)
>
`yoikl`
:
∀
a
o
.
Product
a
_
`AR___`
a
`AR__`
State
e
o
`AR__`
State
e
(
Product
o
_
)
>
`yoikl`
:
∀
a
o
.
Product
a
_
`AR___`
a
`AR__`
World
o
`AR__`
World
(
Product
o
_
)
>
`yiokl`
:
∀
a
o
.
Product
_
a
`AR___`
a
`AR__`
Maybe
o
`AR__`
Maybe
(
Product
_
o
)
>
`yiokl`
:
∀
a
o
.
Product
_
a
`AR___`
a
`AR__`
Stops
e
o
`AR__`
Stops
e
(
Product
_
o
)
>
`yiokl`
:
∀
a
o
.
Product
_
a
`AR___`
a
`AR__`
State
e
o
`AR__`
State
e
(
Product
_
o
)
>
`yiokl`
:
∀
a
o
.
Product
_
a
`AR___`
a
`AR__`
World
o
`AR__`
World
(
Product
_
o
)