Projects
Textbook Notes
Note that many of these notes are “incomplete” in the sense that not all chapters have been annotated equally, and not all books have been finished cover to cover. I read a lot of books that way. Usually I take notes where I don’t understand something and need the extra help of working through things out loud.
- A Tutorial Introduction to the Lambda Calculus (Rojas)
- Category Theory for Programmers (Milewski)
- Introduction to Lambda Calculus (Barendregt, Barendsen)
- Practical Vim (Neil)
- Haskell Programming from First Principles (Allen, Moronuki)
- OCaml from the Very Beginning by John Whittington
- The Rust Programming Language (Klabnik, Nichols)
- Type Level Programming in Haskell (Macguire)