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