pi-calculus-0.0.5: testing/p_chan_client.pi

out(stdout,"Enter host:"); in(stdin,host);
out(stdout,"Enter port:"); in(stdin,port);
let ch = chan(host,port) in
    let sch = {} in
        out(ch,sch);in(sch,msg);out(stdout,msg)