Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Arrow/
:
(
i
`AR`
ii
) ~ (
ii
`RA`
i
) ~ (
Function
i
ii
) ~ (
Arrow
i
ii
)
:
Supertype
(
Arrow
Void
i
)
~
(
Unit
)
:
Supertype
(
Arrow
Unit
i
)
~
(
i
)
:
Supertype
(
Given
i
ii
) ~ (
i
`AR`
ii
)
:
Supertype
(
Match
i
) ~ (
i
`AR`
Boolean
)
:
Supertype
(
Scope
i
ii
) ~ (
i
`AR__`
ii
`P`
(
ii
`AR`
i
)
)
:
Supertype
(
Event
i
ii
)
~
(
i
`AR_`
ii
`P`
i
)
>
Arrow
:
Arrow
i
ii
`AR`
Arrow
i
ii
>
`hjd`
:
i
`AR___`
ii
`AR__`
i
`P`
ii
>
`yai`
:
∀
a
o
.
Arrow
a
_
`AR_____`
a
`RA_`
o
`AR____`
Arrow
o
_
>
`yio`
:
∀
a
o
.
Arrow
_
a
`AR_____`
a
`AR_`
o
`AR____`
Arrow
_
o
>
`yair`
:
∀
a
o
.
Arrow
a
i
`AR____`
i
`RA__`
a
>
`yior`
:
∀
a
o
.
Arrow
i
o
`AR____`
i
`AR__`
o