Hacker News new | ask | show | jobs
by hdhzy 3151 days ago
Also relevant: Pict [0], a π-calculus programming language.

[0]: http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.htm...