Hacker News new | ask | show | jobs
by rq1 970 days ago
s/Curry-Haskell/Curry-Howard/g