redex-abbrevs

Macros for PLT Redex

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, March 16th, 2019 5:06:24pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/bennn/redex-abbrevs34fdbdf90f22ed21718df1dff3863d4900621a1a
Last checkedFriday, April 19th, 2019 1:07:06pm (UTC)
Last editedMonday, July 10th, 2017 4:04:37am (UTC)
Date addedN/A
Modules
  • redex-abbrevs/private/redex-abbrevs.rkt
  • redex-abbrevs/main.rkt
  • redex-abbrevs/docs/redex-abbrevs.scrbl
  • redex-abbrevs/unstable.rkt