unstable-redex

Experimental libraries for typesetting PLT Redex models

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
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 checkedSaturday, December 14th, 2024 1:50:02pm (UTC)
Last editedTuesday, October 20th, 2015 11:13:17pm (UTC)
Date addedN/A
Modules
  • unstable/gui/redex.rkt
  • unstable/gui/unstable-redex.scrbl