283
edits
Syntax sugar (Pipe-calculus): Difference between revisions
→Arrow Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 58: | Line 58: | ||
Both arrows are right associative. | Both arrows are right associative. | ||
When it is clear from context, we can call a negative arrow simply an arrow. | When it is clear from context, we can call a negative arrow simply an arrow. | ||
== Notes == | |||
<references /> | |||