I am a software engineer interested in theories and designs of programming languages, living in Tokyo, Japan. Feel free to contact me at twitter@sano_jn
sano-jin / pi-calculus Goto Github PK
View Code? Open in Web Editor NEWPi-calculus interpreter
License: MIT License