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