github.com/nekketsuuu/lambda2pi (go): λ → π
Keywords: golang|lambda-calculus|pi-calculus