• The Little Typer (2018) https://thelittletyper.com/ 41 comments 28/9/2024
• The Little Typer (2018) https://thelittletyper.com/ 96 comments 11/10/2022
• Book review: The Little Typer (2021) https://thatgeoguy.ca/blog/2021/03/07/review-the-little-typer/ 23 comments 22/5/2022
• The Little Typer https://mitpress.mit.edu/books/little-typer 132 comments 22/9/2018

• The Little Typer http://lambda-the-ultimate.org/node/5552 2 comments 24/9/2018 book , plt

• The Little Typer https://mitpress.mit.edu/books/little-typer 8 comments 28/9/2018 programming
• The Little Typer https://mitpress.mit.edu/books/little-typer 5 comments 25/9/2018 scheme
• A new implementation of Pie from The Little Typer in Haskell https://github.com/david-christiansen/pie-hs 8 comments 27/5/2019 haskell
• The Little Typer - Let's learn about dependent types [Podcast] https://corecursive.com/023-little-typer-and-pie-language/?src=reddit 10 comments 3/12/2018 programming
• The Missing Prelude to The Little Typer's Trickiest Chapter https://ahelwer.ca/post/2022-10-13-little-typer-ch9/ 2 comments 13/10/2022 programming
• You can now pre-order "The Little Typer" https://mitpress.mit.edu/books/little-typer 22 comments 4/6/2018 idris
• "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 24/9/2018 haskell

• The Little Typer https://mitpress.mit.edu/books/little-typer 9 comments 24/9/2018 Type Theory