pretzel-it
Prettyprinter generator for noweb
Install
- All systems
-
curl cmd.cat/pretzel-it.sh
- 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
- Dockerfile
- dockerfile.run/pretzel-it
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.