redex-aam-tutorial

A brief introduction to the Redex and Abstracting Abstract Machines.

Build status: ok dependency problems passing tests

Authors
Documentation
Tags
Last updatedSunday, April 15th, 2018 2:27:56am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/dvanhorn/redex-aam-tutorial.git1f3b799ee01f1d444d625be26ed7cf9d21ad6e30
Last checkedSaturday, August 18th, 2018 3:58:27pm (UTC)
Last editedFriday, November 24th, 2017 6:12:58pm (UTC)
Modules
  • redex-aam-tutorial/subst.rkt
  • redex-aam-tutorial/tutorial.rkt
  • redex-aam-tutorial/tutorial.scrbl
  • redex-aam-tutorial/bib.rkt
  • redex-aam-tutorial/counter.rkt
  • redex-aam-tutorial/shared.rkt
  • redex-aam-tutorial/ex.rkt