pretzel-it

Prettyprinter generator for noweb

Install

All systems
curl cmd.cat/pretzel-it.sh
Debian Debian
apt-get install pretzel
Ubuntu
apt-get install pretzel
Windows (WSL2)
sudo apt-get update sudo apt-get install pretzel
Raspbian
apt-get install pretzel

pretzel

Prettyprinter generator for noweb

Pretzel is a system that builds prettyprinters; that is programs that will take some plain ASCII source code and generate a LaTeXified version for presentation. Pretzel has hooks to integrate with noweb, so that code chunks may be prettyprinted with pretzel's generated prettyprinters. Example prettyprinter source for C, C++, Pascal, and Dijkstra's Guarded Command Language are included.