Algorithms are the computational content of proofs.

— Robert Harper, Software Foundations

Source: http://www.cis.upenn.edu/~bcpierce/sf/Prop.html

Credited to Robert Harper with Benjamin C. Pierce et al. for Software Foundations.

Topics: programming