* only front reduce * lint + spec * that should fail * meh
Run ./render.sh whenever you update tinyspec.tex to regenerate tinyspec.pdf.
./render.sh