Old Project implementing the Lambda Record Calculus
Primary LanguageScala
This repository is not active