Sunday, May 22, 2011
Hoogle talk from TFP 2011 [PDF]
Last week I went to TFP 2011, and gave a talk on Hoogle entitled "Finding Functions from Types". The slides are now available online. These slides give some information about how the type searching works in Hoogle, and I intend to write further details in the future.