unstable-redex

Experimental libraries for typesetting PLT Redex models

Build status: ok passing tests

Documentation Code
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 checkedWednesday, June 20th, 2018 2:46:05pm (UTC)
Last editedTuesday, October 20th, 2015 11:13:17pm (UTC)
Modules
  • unstable/gui/redex.rkt
  • unstable/gui/unstable-redex.scrbl