redex

PLT Redex libraries for practical semantics engineering

Build status:

Authors
Documentation
Tags
Last updatedSunday, March 29th, 2020 11:11:25pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/racket/redex/?path=redexd88c68e991c2015dcfeae083992cfc857e94b6ac
    Last checkedTuesday, March 31st, 2020 6:07:32am (UTC)
    Last editedThursday, December 4th, 2014 2:19:43am (UTC)
    Date addedN/A
    Modules