283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) |
||
| Line 154: | Line 154: | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
s \seq (t \seq u) | s \seq (t \seq u) \eq & (s \seq t) \seq u \\ | ||
\succeed \seq s \eq & s \\ | |||
\end{align} | \end{align} | ||
</math> | </math> | ||
| Line 183: | Line 183: | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
s \pipe (t \pipe u) | s \pipe (t \pipe u) \eq & (s \pipe t) \pipe u \\ | ||
s \pipe \pass | s \pipe \pass \eq & s \\ | ||
\end{align} | \end{align} | ||
</math> | </math> | ||