Posts
- Notes: Thinking with Types, Type-Level Programming in Haskell by Sandy Maguire
- Notes: OCaml from the Very Beginning by John Whitington
- Notes: The Rust Programming Language by Steve Klabnik and Carol Nichols
- Notes: Practical Vim by Drew Neil
- Notes: The Elements of Computing Systems by Noam Nisan and Shimon Schocken
- Notes: Category Theory for Programmers by Bartosz Milewski
- Notes: Introduction to Lambda Calculus by Henk Barendregt & Erik Barendsen
- Notes: Tutorial Intro to Lambda Calculus by Raul Rojas
- Notes: Haskell Programming from First Principles by Chris Allen & Julie Moronuki