packages feed

pi-calculus-0.0.4: testing/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(stdout,sch);out(ch,sch);in(sch,msg);out(stdout,msg)