Search Package Index

1 packages found

	Package	Description	Build
-1580069363	redex-parameter camoy@ccs.neu.edu	Parameterized reduction relations in Redex. Docs: redex-parameter Tags: redex	succeeds	0

Package

Description

Build

redex-parameter

Parameterized reduction relations in Redex.

Docs:

Tags: