Quotations of Gates Hall
Home
Submit a Quote
Browse
Random
Top Voted
About
Search by Quote or Context:
Quote
Voting:
-
6
+
The first rule of fight club is: don't use large numbers.
— Greg Morrisett
,
on constraints of using natural numbers in Coq
·
Aug. 28, 2017