leastfixedpoint

Archived tweet #1564 from the @leastfixedpoint Twitter Archive
Modelling the π-calculus as a Labelled Transition System in PLT Redex.