• Curry-Howard Is a Scam https://blag.cedeela.fr/curry-howard-scam/ 2 comments 24/2/2021

• Curry-Howard is a scam https://blag.cedeela.fr/curry-howard-scam/ 32 comments 24/2/2021 formalmethods , math , rant