pi-calculus-0.0.4: pilude.pi

let triple(a,b,c) = pair(a,pair(b,c))
let print(msg) = out(stdout,msg)
let error(msg) = out(stderr,msg)
let dbgOut(c, msg) = out(c,msg);out(stdout,msg)
let forever(process) = &process;&forever(process)