unstable-redex

Experimental libraries for typesetting PLT Redex models

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedWednesday, October 2nd, 2019 2:41:00pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/racket/unstable-redex5626e6578cdd9cb65c24c8b18893e41065ca97e9
Last checkedMonday, October 21st, 2019 10:22:22am (UTC)
Last editedTuesday, October 20th, 2015 11:13:17pm (UTC)
Date addedN/A
Modules
  • unstable/gui/redex.rkt
  • unstable/gui/unstable-redex.scrbl