typeset-rewriter

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

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 5:01:48pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/pnwamk/typeset-rewriter#master9737f385b57a74564221ebd719c01f4180fbf6f8
Last checkedTuesday, October 17th, 2017 5:12:35am (UTC)
Last editedThursday, October 13th, 2016 6:13:18pm (UTC)
Modules
  • typeset-rewriter/main.rkt