283
edits
Syntax sugar (Pipe-calculus): Difference between revisions
m
→Arrow Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) m (→Arrow Syntax) |
||
| Line 54: | Line 54: | ||
Intuitively a '''positive arrow''' denotes outward directed operations and '''negative arrow''' denotes inward directed ones. | Intuitively a '''positive arrow''' denotes outward directed operations and '''negative arrow''' denotes inward directed ones. | ||
<ref> | <ref> | ||
Notice that the arrow syntax is unambiguous because variables can always be distinguished from atoms and an atom without | Notice that the arrow syntax is unambiguous because variables can always be distinguished from atoms and an atom without polarity does not occur anywhere else in the syntax. | ||
</ref> | </ref> | ||
Both arrows are right associative. | Both arrows are right associative. | ||