wherein we implement pi calculus in unison. a single file, not for consumption by anyone but me. if you do want to peruse it, i suggest you start from the data types and then work your way through the tests.
it’s just the core pi reduction, congruence is shaky and bisimulation not there.
have fun!