redex-parameter

Parameterized reduction relations in Redex.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, May 28th, 2020 6:03:39am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/camoy/redex-parameter.gitdf9deba3a62cbe647f6b5c756187b16fdda75a11
Last checkedThursday, July 2nd, 2020 12:22:06pm (UTC)
Last editedWednesday, January 8th, 2020 2:11:48pm (UTC)
Date addedWednesday, January 8th, 2020 2:11:48pm (UTC)
Modules
  • redex/parameter.rkt
  • redex/private/test.rkt
  • redex/scribblings/redex-parameter.scrbl