GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → stedolan → counterexamples

stedolan / counterexamples

Licence: other
Counterexamples in Type Systems

Programming Languages

javascript
184084 projects - #8 most used programming language
Handlebars
879 projects
Makefile
30231 projects

Counterexamples in Type Systems

This repo contains the source of Counterexamples in Type Systems, a compendium of horrible programs that crash, segfault or otherwise explode.

Building

Builds locally with make (if you're on a Linux system sufficiently like my own).

The book is built with mdbook and KaTeX.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].