https://github.com/hauntedhost/the-little-typer

The Little Typer by Daniel Friedman and David Christiansen
https://github.com/hauntedhost/the-little-typer

Last synced: 4 months ago
JSON representation

The Little Typer by Daniel Friedman and David Christiansen

• Host: GitHub
• URL: https://github.com/hauntedhost/the-little-typer
• Owner: hauntedhost
• Created: 2018-10-10T23:50:20.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2024-12-04T08:32:30.000Z (over 1 year ago)
• Last Synced: 2025-07-29T11:59:20.531Z (11 months ago)
• Size: 130 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
## The Little Typer by Daniel Friedman and David Christiansen

> If you can write programs, then you can write proofs.

>

> While mathematics is traditionally carried out in the human mind, the marriage of math and programming allows us to run our maths just as we run our programs. Similarly, combining programming with math allows our programs to directly express _why_ they work.

[![book cover](cover.jpg)](https://www.amazon.com/gp/product/0262536439)

Personal code while reading [The Little Typer](https://www.amazon.com/gp/product/0262536439).

---

👻 [haunted.host](https://www.haunted.host)