redex-abbrevs-doc

documentation for "redex-abbrevs"

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
    License
      Last updatedMonday, October 25th, 2021 1:01:07am (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/bennn/redex-abbrevs.git?path=redex-abbrevs-doc9e08f5a3ea0c2b70c5324c73969397c161a624df
      Last checkedFriday, April 26th, 2024 10:08:53am (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