- The Missing Prelude to The Little Typer's Trickiest Chapter https://ahelwer.ca/post/2022-10-13-little-typer-ch9/ 2 comments programming
Linked pages
- The Little Typer https://thelittletyper.com/ 137 comments
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- ThatGeoGuy - Book review: The Little Typer https://thatgeoguy.ca/blog/2021/03/07/review-the-little-typer/ 24 comments
- Coq - Wikipedia https://en.wikipedia.org/wiki/Coq 5 comments
- Agda (programming language) - Wikipedia https://en.wikipedia.org/wiki/Agda_(programming_language) 0 comments
- Lean (proof assistant) - Wikipedia https://en.wikipedia.org/wiki/Lean_(proof_assistant) 0 comments
Related searches:
Search whole site: site:ahelwer.ca
Search title: The Missing Prelude to The Little Typer's Trickiest Chapter - Andrew Helwer
See how to search.