283
edits
Syntax sugar (Pipe-calculus): Difference between revisions
→Arrow Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 57: | Line 57: | ||
Using arrow syntax and recursion we can write <code>passNat</code> from the [[Pipe-calculus#An_example|introductory example]] like this. | Using arrow syntax and recursion we can write <code>passNat</code> from the [[Pipe-calculus#An_example|introductory example]] like this. | ||
<math>\mathsf{rec}~ p . (\mathsf{1} \nto \mathsf{1} \pto p \mid \mathsf{end} \nto \mathsf{end} \pto \ | <math>\mathsf{rec}~ p . (\mathsf{1} \nto \mathsf{1} \pto p \mid \mathsf{end} \nto \mathsf{end} \pto \top)</math> | ||
== Notes == | == Notes == | ||
<references /> | <references /> | ||