https://github.com/stedolan/counterexamples

Counterexamples in Type Systems
https://github.com/stedolan/counterexamples

Last synced: 9 days ago
JSON representation

Counterexamples in Type Systems

• Host: GitHub
• URL: https://github.com/stedolan/counterexamples
• Owner: stedolan
• Created: 2021-05-14T12:14:05.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2023-06-08T13:22:33.000Z (over 1 year ago)
• Last Synced: 2024-05-08T21:24:08.033Z (6 months ago)
• Language: JavaScript
• Homepage: http://counterexamples.org
• Size: 1.9 MB
• Stars: 348
• Watchers: 16
• Forks: 23
• Open Issues: 14
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Counterexamples in Type Systems

This repo contains the source of [Counterexamples in Type

Systems](http://counterexamples.org), 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](https://github.com/rust-lang/mdbook)

and [KaTeX](https://katex.org).