redex-abbrevs-lib

Implementation of "redex-abbrevs"

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedMonday, October 25th, 2021 1:01:08am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/bennn/redex-abbrevs.git?path=redex-abbrevs-lib9e08f5a3ea0c2b70c5324c73969397c161a624df
Last checkedThursday, November 21st, 2024 5:48:44am (UTC)
Last editedSunday, May 5th, 2019 9:41:28pm (UTC)
Date addedSunday, May 5th, 2019 9:41:28pm (UTC)
Modules
  • redex-abbrevs/unstable.rkt
  • redex-abbrevs/private/redex-abbrevs.rkt
  • redex-abbrevs/main.rkt