Hacker News new | ask | show | jobs
by theWheez 2484 days ago
Is that related to the Curry-Howard isomorphism?