λ Magic Books Functional Programming, Type Theory, Magical Spells... Agda Compiler Coq Elixir GC Haskell Idris Interpreter Lisp ML Rust Type Theory Welcome to add your favourite books too :)