GitHub repository: leithaus/rhocaml
Primary language: OCaml
Created: 2016-06-20T00:45:00Z
Description: OCaml implementation of rho calculus