{- Pi-calculus style communication -}

{- Channels creation -}

new x : ^Int   
new y : ^^Int

{- Communication using first-class channels -}

run (
    x! 10
  | y! x 
  | y? p= p? msg= printi! msg
)






{-

{- Name scope -}

run 
(
  (new d : ^Int
   (d! 1 |  d! 2))
| 
  d?v = printi! v
) 

-}