GitHub repository: JosDenmark/Rho
Primary language: Scala
Created: 2017-11-27T00:58:37Z
Description: Generalized Abstract Data Type for Rho-Calculus