Hacker News
Lobsters
- Certified Programming with Dependent Types, by Adam Chlipala http://adam.chlipala.net/cpdt/ 13 comments book , math , programming
Lambda the Ultimate
- Certified Programming With Dependent Types Goes Beta http://adam.chlipala.net/cpdt/ 6 comments Functional , Lambda Calculus , Logic/Declarative , Misc Books , Semantics , Teaching & Learning , Type Theory