283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 88: | Line 88: | ||
\mid \mathsf{v} | \mid \mathsf{v} | ||
\mid (s) | \mid (s) | ||
\mid s \seq t \mid \succeed | \mid s \seq t \mid \succeed | ||
\mid s \mathsf{|} t \mid \fail | \mid s \mathsf{|} t \mid \fail | ||