Hacker News
- The Little Typer https://mitpress.mit.edu/books/little-typer 8 comments programming
- The Little Typer https://mitpress.mit.edu/books/little-typer 5 comments scheme
- "The Little Typer", by Daniel P. Friedman and David Thrane Christiansen: "An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time." https://mitpress.mit.edu/books/little-typer 26 comments haskell
- You can now pre-order "The Little Typer" https://mitpress.mit.edu/books/little-typer 22 comments idris
Lambda the Ultimate
Linking pages
- A Programmer’s Regret: Neglecting Math at University - Adenoid Adventures https://awalterschulze.github.io/blog/post/neglecting-math-at-university/ 119 comments
- GitHub - err0r500/foundational-knowledge-for-programmers: List of resources about foundational knowledge for programmers (supposed to last a few decades) https://github.com/err0r500/foundational-knowledge-for-programmers 1 comment
- Apples And Oranges – De Programmatica Ipsum https://deprogrammaticaipsum.com/apples-and-oranges/ 0 comments
Related searches:
Search whole site: site:mitpress.mit.edu
Search title: The Little Typer
See how to search.