unstable-redex

Experimental libraries for typesetting PLT Redex models

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, October 24th, 2019 1:27:15am (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/racket/unstable-redexc8fd60d300039f1d1a5de82683746223945d651c
Last checkedTuesday, December 10th, 2019 5:10:31am (UTC)
Last editedTuesday, October 20th, 2015 11:13:17pm (UTC)
Date addedN/A
Modules
  • unstable/gui/redex.rkt
  • unstable/gui/unstable-redex.scrbl