Projects


Textbook Notes

Mathematics

  1. A Tutorial Introduction to the Lambda Calculus (Rojas)
  2. Category Theory for Programmers (Milewski)
  3. Introduction to Lambda Calculus (Barendregt, Barendsen)

Computer Science and Programming

Tools

  1. Practical Vim (Neil)

Concepts

  1. The Elements of Computing Systems (Nisan, Schocken)

Languages

  1. Haskell Programming from First Principles (Allen, Moronuki)
  2. Type Driven Development in Idris (Brady)
  3. OCaml from the Very Beginning by John Whittington

Cryptography