On Wed, Feb 6, 2013 at 5:36 PM, Petr Pudlák <petr.mvd at gmail.com> wrote: > Does anybody collect them or know about such a collection? You can look at the Haskell Weekly News quote sections, or you can download the lambdabot source repo and read the State/quote file. -- gwern http://www.gwern.net