unstable-redex

Experimental libraries for typesetting PLT Redex models

Build status: ok passing tests missing license metadata

Documentation README Code
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 checkedFriday, July 18th, 2025 11:25:01pm (UTC)
    Last editedTuesday, October 20th, 2015 11:13:17pm (UTC)
    Date addedN/A
    Modules
    • unstable/gui/redex.rkt
    • unstable/gui/unstable-redex.scrbl