unstable-redex

Experimental libraries for typesetting PLT Redex models

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, March 31st, 2016 6:18:59pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgit://github.com/racket/unstable-redex89294a6d0deab3f9e5603912d1224a4c81290b73
Last checkedMonday, June 26th, 2017 2:10:52pm (UTC)
Last editedTuesday, October 20th, 2015 11:13:17pm (UTC)
Modules
  • unstable/gui/redex.rkt
  • unstable/gui/unstable-redex.scrbl