redex-abbrevs-lib

Implementation of "redex-abbrevs"

Build status: ok passing tests missing license metadata

README Download
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 checkedSunday, May 19th, 2024 2:08:06pm (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