redex-parameter

Parameterized reduction relations in Redex.

Build status: ok dependency problems passing tests

Authors
Documentation
Tags
Last updatedFriday, January 10th, 2020 5:09:15pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/camoy/redex-parameter.gitd40fc21c25d202ed69c042282a0655fefca82a24
Last checkedMonday, January 20th, 2020 5:09:20am (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