Talk:Haskell Equational Reasoning Assistant

Um, the link to the author's web page just gives a link back here... is this some kind of FP joke?

I emailed Gill and asked; it seems he intended to write a real homepage for HERA, but he just never got around to it. Hence the loop. Gwern 20:01, 15 February 2008 (UTC)