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. OCaml from the Very Beginning by John Whittington
  3. Type Driven Development in Idris (Brady)

Cryptography