redex-aam-tutorial icon indicating copy to clipboard operation
redex-aam-tutorial copied to clipboard

verified publisher icon dvanhorn
→

Metadata

An Introduction to Redex with Abstracting Abstract Machines

trafficstars

Build Status

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

← Metadata

102
Stars
14
Forks
Watchers

Owner

verified publisher icon dvanhorn

Metadata

An Introduction to Redex with Abstracting Abstract Machines

Back