redex-abbrevs-doc

documentation for "redex-abbrevs"

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, February 27th, 2020 3:34:32am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/bennn/redex-abbrevs.git?path=redex-abbrevs-doc3205f90c07e5614ad90cea59eb59b7bc883167df
Last checkedMonday, June 1st, 2020 2:19:55am (UTC)
Last editedSunday, May 5th, 2019 9:42:31pm (UTC)
Date addedSunday, May 5th, 2019 9:42:31pm (UTC)
Modules
  • redex-abbrevs/scribblings/redex-abbrevs.scrbl