redex-abbrevs

Macros for PLT Redex

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedWednesday, January 24th, 2018 6:18:34am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/bennn/redex-abbrevsf9df570bdabe28115fc0258a1bac172c9702546b
Last checkedThursday, August 16th, 2018 2:45:50am (UTC)
Last editedMonday, July 10th, 2017 4:04:37am (UTC)
Modules
  • redex-abbrevs/private/redex-abbrevs.rkt
  • redex-abbrevs/main.rkt
  • redex-abbrevs/docs/redex-abbrevs.scrbl
  • redex-abbrevs/unstable.rkt