Hacker News new | ask | show | jobs
by davidjones332 1133 days ago
"the Haskell road to logic and mathematics"