Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Construction/
:
(
Construction
t
i
) ~ (
Origination
Along
t
i
)
:
Supertype
(
Construction
t
i
) ~ (
Fixed
(
Along
i
`T'TT'I`
t
)
)
:
Basetype
(
Construction
t
i
) ~ (
Supertype
(
Construction
t
i
)
`P`
i
:
Supertype
(
Construction
t
i
) ~ (
Fixed
(
Along
i
`T'TT'I`
t
)
)
:
Basetype
(
Construction
t
i
) ~ (
Supertype
(
Construction
t
i
)
`P`
i
)
:
(
Construction
Maybe
i
) ~ (
Nonempty List
i
)
:
(
Construction
List
i
) ~ (
Tree
i
)
>
Build
:
Supertype
(
Construction
t
i
)
`AR__`
Construction
t
i
>
`yo`
:
∀
a
o
,
∃
t
.
Construction
t
a
`AR_____`
a
`AR____`
o
`AR____`
Construction
t
o
>
`kyo`
:
∀
a
o
,
∃
t
.
Construction
t
a
`AR____`
Construction
t
a
`AR__`
o
`AR__`
Construction
t
o
>
`yokl`
:
∀
a
o
,
∃
t
tt
.
Construction
t
a
`AR___`
a
`AR__`
tt
o
`AR__`
tt
(
Construction
t
o
)