Proofs and Types (2007) | Hacker News Reader