redex-aam-tutorial

A brief introduction to the Redex and Abstracting Abstract Machines.

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Last updatedFriday, September 2nd, 2022 12:15:56pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/dvanhorn/redex-aam-tutorial.git1fdb038225b03d5ea9cf4258503cb8c83f108671
    Last checkedSunday, December 7th, 2025 5:54:33pm (UTC)
    Last editedFriday, November 24th, 2017 6:12:58pm (UTC)
    Date addedN/A
    Modules
    • redex-aam-tutorial/counter.rkt
    • redex-aam-tutorial/subst.rkt
    • redex-aam-tutorial/shared.rkt
    • redex-aam-tutorial/tutorial.scrbl
    • redex-aam-tutorial/bib.rkt
    • redex-aam-tutorial/tutorial.rkt
    • redex-aam-tutorial/ex.rkt