A redex-inspired language of operational semantics with an automatic "abstracting abstract machines" transformation.
Primary LanguageRacket
No issues in this repository yet.