λ Magic Books

Functional Programming, Type Theory, Magical Spells...

Welcome to add your favourite books too :)

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
Agda		Agda
Compiler		Compiler
Coq		Coq
Elixir		Elixir
GC		GC
Haskell		Haskell
Idris		Idris
Interpreter		Interpreter
Lisp		Lisp
ML		ML
Rust		Rust
Type Theory		Type Theory
.gitignore		.gitignore
Language and Mind.pdf		Language and Mind.pdf
README.md		README.md
notanum.pdf		notanum.pdf

Navigation Menu