Hacker News
Lobsters
- Curry-Howard is a scam https://blag.cedeela.fr/curry-howard-scam/ 32 comments formalmethods , math , rant
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:blag.cedeela.fr
Search title: The Blag — Logic And Graphics - Curry-Howard is overrated
See how to search.