Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

19 bytes removed , 9 May 2023

283

edits

@@ Line 108: / Line 108: @@
 & \mbox{Atoms}~        & a, b \rule & \mathsf{A} \mid \mathsf{B} \mid \mathsf{'foo} \mid \mathsf{'bar} \mid ... \\
-& \mbox{Variables}~    & \alpha, \beta \rule & \mathsf{v} \mid \mathsf{w} \mid ... \\
+& \mbox{Variables}~    & x, y \rule & \mathsf{a} \mid \mathsf{b} \mid ... \\
-& \mbox{Prefixes}~     & p, q \rule & a^+ \mid a^- \mid ~?\alpha \mid ~!s \\
+& \mbox{Prefixes}~     & p, q \rule & a^+ \mid a^- \mid ~?x \mid ~!s \\
 & \mbox{Terms}~        & s, t \rule & ~
@@ Line 117: / Line 117: @@
 \mid s \mathsf{|} t \mid \fail
 \mid s \pipe t \mid \pass
-\mid \alpha
+\mid x
 \mid (s)
 \end{alignat}