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