pretzel
Prettyprinter generator for noweb
Install
- All systems
-
curl cmd.cat/pretzel.sh
- Debian
-
apt-get install pretzel - Ubuntu
-
apt-get install pretzel - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install pretzel - Raspbian
-
apt-get install pretzel - Dockerfile
- dockerfile.run/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.