gfngfn / proglangtools

LaTeX packages for describing programming language theories

Note: the packages are under construction so far.

• progindent: automates indentation in program fragments. Probably goes well with Ott.
• proginfer: typesets derivation trees.