typeset-rewriter

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

homepage ↗ github: pnwamk/typeset-rewriter

Available in

Overlay	Newest	Ebuilds	Last activity
racket-overlay GitLab ↗	0_p20230410	2	43 d	details ›

Version	Overlay	amd64	x86	ppc64	arm	ppc	Committed
9999 LIVE ^≈	racket-overlay	follows upstream — no keywords					6 mo	view · download · history ↗
0_p20230410 ^≈	racket-overlay	amd64 testing	x86 testing	ppc64 testing	arm testing	ppc testing	6 mo	view · download · history ↗