qotm
·
Discover
·
Latest
·
Curated
·
Topics
·
CLI
Robert Harper
Topics:
programming
Algorithms are the computational content of proofs.
—
Robert Harper