283
edits
Syntax sugar (Pipe-calculus): Difference between revisions
→Let ... in
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 27: | Line 27: | ||
</math> | </math> | ||
According to the defined [[Pipe-calculus#Normal_forms|rewriting relation]], this can be | According to the defined [[Pipe-calculus#Normal_forms|rewriting relation]], this can be rewritten as follows. | ||
<math>\out s . \fail \pipe \in x . t \rew \fail \pipe t[s/x] \rew t[s/x]</math>. | <math>\out s . \fail \pipe \in x . t \rew \fail \pipe t[s/x] \rew t[s/x]</math>. | ||