Syntax sugar (Pipe-calculus): Difference between revisions

Syntax sugar (Pipe-calculus) (view source)

12 bytes removed , 23 May 2023

283

edits

@@ Line 50: / Line 50: @@
 </math>
-Intuitively a '''positive arrow''' denotes outward directed operations and '''negative arrow''' denotes inward directed ones.
+Intuitively '''positive arrows''' denote outward directed operations while '''negative arrows''' denote inward directed ones.
 <ref>
-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.
+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>
 Both arrows are right associative.