Search Package Index

4 packages found

 PackageDescriptionBuild 

mf-apply

PLT Redex lang-extension for checked metafunction application

Docs:
succeeds0

redex-abbrevs

Macros for PLT Redex

succeeds0

redex-chk

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

This package needs documentation

succeeds3

typeset-rewriter

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

This package needs documentation

Tags:
succeeds3