This tutorial is available online at:
- HTML: https://dvanhorn.github.io/redex-aam-tutorial
- PDF: https://dvanhorn.github.io/redex-aam-tutorial/tutorial.pdf
Copyright © 2014 David Van Horn
Licensed under the Academic Free License version 3.0
An Introduction to Redex with Abstracting Abstract Machines
This tutorial is available online at:
Copyright © 2014 David Van Horn
Licensed under the Academic Free License version 3.0
An Introduction to Redex with Abstracting Abstract Machines
https://dvanhorn.github.io/redex-aam-tutorial
Academic Free License v3.0