GitHub - deeglaze/Abstract-Redex: An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
.gitignore		.gitignore
core-match.rkt		core-match.rkt
env-to-recursive.rkt		env-to-recursive.rkt
macros.rkt		macros.rkt
match-machine-data.rkt		match-machine-data.rkt
match-machine-star-data.rkt		match-machine-star-data.rkt
match-machine-star-tests.rkt		match-machine-star-tests.rkt
match-machine-star.rkt		match-machine-star.rkt
match-machine-tests.rkt		match-machine-tests.rkt
match-machine.rkt		match-machine.rkt