unstable-redex

Experimental libraries for typesetting PLT Redex models

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, March 6th, 2018 1:07:45pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/racket/unstable-redexa132a56200d99be9e3cec3928d8580559402beb6
Last checkedMonday, December 17th, 2018 12:48:19am (UTC)
Last editedTuesday, October 20th, 2015 11:13:17pm (UTC)
Modules
  • unstable/gui/redex.rkt
  • unstable/gui/unstable-redex.scrbl