unstable-redex

Experimental libraries for typesetting PLT Redex models

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 5:01:55pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/racket/unstable-redex89294a6d0deab3f9e5603912d1224a4c81290b73
Last checkedWednesday, December 13th, 2017 12:12:13am (UTC)
Last editedTuesday, October 20th, 2015 11:13:17pm (UTC)
Modules
  • unstable/gui/unstable-redex.scrbl
  • unstable/gui/redex.rkt