4 ms·
One of the benefits of the Curry-Howard isomorphism is that people like myself who never make anything useful can use computers too.
by ipnon 4y ago
One of the benefits of the Curry-Howard isomorphism is that people like myself who never make anything useful can use computers too.