redex-aam-tutorial

A brief introduction to the Redex and Abstracting Abstract Machines.

Build status: ok dependency problems passing tests

Authors
Documentation
Tags
Last updatedMonday, May 24th, 2021 12:12:03am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/dvanhorn/redex-aam-tutorial.git45484ffc154a8d9a80df10034b931e330e7aef85
Last checkedMonday, August 2nd, 2021 6:35:25am (UTC)
Last editedFriday, November 24th, 2017 6:12:58pm (UTC)
Date addedN/A
Modules
  • redex-aam-tutorial/ex.rkt
  • redex-aam-tutorial/subst.rkt
  • redex-aam-tutorial/bib.rkt
  • redex-aam-tutorial/tutorial.scrbl
  • redex-aam-tutorial/counter.rkt
  • redex-aam-tutorial/shared.rkt
  • redex-aam-tutorial/tutorial.rkt