dev-racket/typeset-rewriter
Simple, low-level rewriter tools for typesetting PLT Redex models
Screenshots
-
typeset-rewriter-9999doc
View 
Download 
Browse License: all-rights-reserved Overlay: racket-overlay -
typeset-rewriter-0_p20230410~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay
Runtime Dependencies
typeset-rewriter-9999
>=dev-scheme/racket-8.1:=[-minimal]
typeset-rewriter-0_p20230410
>=dev-scheme/racket-8.1:=[-minimal]