Simple lambda-calculus language to illustrate how the CAOS library can be used to animate reduction steps, inspired by an example for PLT Redex's domain-specific language embedded in Racket for specifying and debugging operational semantics (https://redex.racket-lang.org/lam-v.html).
A snapshot of the compiled website can be found in the docs folder, and used online via the link below.
This project is used as a running example in the tutorial for the Caos' framework:
- Caos' GitHub page: https://github.com/arcalab/CAOS
- Caos' tutorial: https://arxiv.org/abs/2304.14901
- Caos' demo video: https://youtu.be/Xcfn3zqpubw
- JVM (>=1.8)
- sbt
You need to get the submodules dependencies (CAOS library), and later compile using ScalaJS. The result will be a JavaScript file that is already being imported by an existing HTML file.
git submodule update --initsbt fastLinkJS- open the file
lib/tool/index.html