redex-abbrevs

Macros for PLT Redex

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, October 24th, 2017 10:02:52pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/bennn/redex-abbrevs58e782431bc4dadde113257a318aec574e596706
Last checkedMonday, November 20th, 2017 11:48:29pm (UTC)
Last editedMonday, July 10th, 2017 4:04:37am (UTC)
Modules
  • redex-abbrevs/docs/redex-abbrevs.scrbl
  • redex-abbrevs/unstable.rkt
  • redex-abbrevs/private/redex-abbrevs.rkt
  • redex-abbrevs/main.rkt