Hacker News new | ask | show | jobs
by posterboy 993 days ago
Proof by construction, the Curry-Howard correspondance.