Search Package Index

3 packages found

 PackageDescriptionBuild

mf-apply

PLT Redex lang-extension for checked metafunction application

succeeds

redex-chk

rackunit/chk style checks for redex ('term' quotes automatically)

Docs: README
succeeds

typeset-rewriter

Simple, low-level rewriter tools for typesetting PLT Redex models

Docs: README
Tags:
succeeds