/Abstract-Redex

An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.

Primary LanguageRacket

Watchers