dvanhorn / redex-aam-tutorial

An Introduction to Redex with Abstracting Abstract Machines

https://dvanhorn.github.io/redex-aam-tutorial

dvanhorn/redex-aam-tutorial Issues

Section 3.1 gives confusing prose on define-metafunction vs define-relation
Updated 6 years ago2
Definition of unique relation no longer works with racket 6.9
Closed 7 years ago2
`redex-aam-tutorial` package is not published
Closed 7 years ago1
ex.rkt does not exist
Closed 8 years ago1