redex-abbrevs

Macros for PLT Redex

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, November 15th, 2018 7:17:30pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/bennn/redex-abbrevs4df570f085e37062a4e077485a4be8ff2ca74c64
Last checkedFriday, December 14th, 2018 2:00:03pm (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