Hacker News new | ask | show | jobs
by jeffcoat 3478 days ago
Certified Programming with Dependent Types

http://adam.chlipala.net/cpdt/