redex-parameter

Parameterized reduction relations in Redex.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSunday, January 26th, 2020 8:09:23pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/camoy/redex-parameter.git9e0421cca00632f8696512271741951d90446f47
Last checkedFriday, April 3rd, 2020 8:11:34pm (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