This repo contains the source of Counterexamples in Type Systems, a compendium of horrible programs that crash, segfault or otherwise explode.
Builds locally with make (if you're on a Linux system sufficiently like my own).
make
The book is built with mdbook and KaTeX.