Comment on Pedagogical Downsides of HaskellparentComments−ipnon3yOne of the benefits of the Curry-Howard isomorphism is that people like myself who never make anything useful can use computers too.
Comments
One of the benefits of the Curry-Howard isomorphism is that people like myself who never make anything useful can use computers too.