translate a fragment of pi calculus to erlang
Primary LanguageOCaml
No issues in this repository yet.