Pattern synonyms for 7.8?

[Dr. ERDI Gergo]

On Wed, 8 Jan 2014, Simon Peyton Jones wrote:

> It'd be good if what we finally commit to HEAD has a sensible history

Yes, of course. I'll clean that up next week. I just have to run now.

-- 

   .--= ULLA! =-----------------.
    \     http://gergo.erdi.hu   \
     `---= gergo at erdi.hu =-------'
Ha paranoiásokkal akarsz megismerkedni, kezdd el követni ôket.