Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Jointed Given/
:
(
t
`J'T'TT'I`
Given
i
) ~ (
Jointed
`T'I`
Given
i
`T'I`
t
)
:
(
Jointed
`T'I`
Given
i
`T'I`
t
) ~ (
Given
i
`T'TT'I`
t
)
:
Supertype
(
t
`J'T'TT'I`
Given
i
`T'I__`
ii
) ~ (
i
`AR_`
t
ii
)
>
`yo`
:
∀
a
o
,
∃
t
.
t
`J'T'TT'I`
Given
i
`T'I__`
a
`AR_____`
a
`AR____`
o
`AR____`
t
`J'T'TT'I`
Given
i
`T'I__`
o
>
`yok`
:
∀
a
o
,
∃
t
.
t
`J'T'TT'I`
Given
i
`T'I__`
a
`AR_____`
a
`AR____`
t
o
`AR____`
t
`J'T'TT'I`
Given
i
`T'I__`
o
>
`yok`
:
∀
a
o
.
t
`J'T'TT'I`
Given
i
`T'I__`
a
`AR_____`
a
`AR____`
Given
i
o
`AR____`
t
`J'T'TT'I`
Given
i
`T'I__`
o