283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 64: | Line 64: | ||
\begin{alignat}{3} | \begin{alignat}{3} | ||
& \mbox{Atoms}~ & a, b & ::= \mathsf{ | & \mbox{Atoms}~ & a, b & ::= \mathsf{A} \mid \mathsf{B} \mid ... \\ | ||
& \mbox{Literals}~ & l, m & ::= a \mid \neg a \\ | & \mbox{Literals}~ & l, m & ::= a \mid \neg a \\ | ||