Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/JNT/
:
(
t
`JNT`
tt
|
precedence = 7
) ~ (
Jointed
tt
t
)
:
(
t
`JNT_`
tt
|
precedence = 6
) ~ (
Jointed
tt
t
)
For now, only certain functors could be jointed in predefined order:
:
State
_
`JNT`
Given
_
:
Stops
_
`JNT`
State
_
:
Stops
_
`JNT`
Given
_
:
World
`JNT`
Stops
_
:
World
`JNT`
Stops
_
`JNT`
State
_
:
World
`JNT`
Stops
_
`JNT`
State
_
`JNT`
Given
_
:
World
`JNT`
Stops
_
`JNT`
Given
_
:
World
`JNT`
State
_
:
World
`JNT`
State
_
`JNT`
Given
_
:
World
`JNT`
Given
_