Pipe-calculus: Difference between revisions

no edit summary
No edit summary
Tags: Mobile edit Mobile web edit
Line 1: Line 1:
Pipe-calculus is a core calculus for programming.
Pipe-calculus is a core calculus for programming.
{{Note}} Pipe-calculus is work in progress. This wiki page serves as an informal introduction, and details may change by time.


== Overview ==
== Overview ==
283

edits