GitHub repository: Bromind/pi-lambda
Primary language: OCaml
Created: 2017-12-30T19:50:25Z
Description: A language based on merging the lambda-calculus and the pi-calculus