/lambda-caos

Illustrative example of the usage of CAOS with a simple lambda-calculus reduction semantics

Primary LanguageScala

No issues in this repository yet.