search

gasche / icfp2013-papers

List of ICFP'13 accepted papers, with links to preprint or additional information when available
72 stars 17 forks source link

link to Chlipala paper #18

Closed ggreif closed 11 years ago

gasche commented 11 years ago

Thank you for all those links.

ggreif commented 11 years ago

Oh, no problem! Your site is a wonderful resource.

And there are two more pull requests there in your queue :-)

Cheers,

Gabor

On 8/14/13, gasche notifications@github.com wrote:

Thank you for all those links.

Reply to this email directly or view it on GitHub: https://github.com/gasche/icfp2013-papers/pull/18#issuecomment-22614970