283
edits
Syntax sugar (Pipe-calculus): Difference between revisions
→Arrow Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 53: | Line 53: | ||
The new operators are called '''positive arrow''' and '''negative arrow''' respectively. | The new operators are called '''positive arrow''' and '''negative arrow''' respectively. | ||
They are right associative like the function arrow. | They are right associative like the function arrow normally is. | ||
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. | ||