scribble-bettergrammar (racket): A Scribble library for typesetting grammars with annotations, in particular, differences between grammars (implementation and documentation).
Keywords: bnf|grammar|scribble