Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Joint/
:
(
t
`JNT`
tt
) ~ (
Joint
t
tt
)
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
_