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).
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).