Announcing decision diagrams
duncan.coutts at worc.ox.ac.uk
Wed Apr 30 09:48:25 EDT 2008
On Wed, 2008-04-30 at 14:13 +0200, Josef Svenningsson wrote:
> On Tue, Apr 29, 2008 at 2:44 PM, Duncan Coutts
> <duncan.coutts at worc.ox.ac.uk> wrote:
> > Actually it didn't get funded as a GSoC project but Maciej Wos is
> > looking at this problem for his 4th year project. As you say, the design
> > space is very wide so I would not want to discourage you or anyone from
> > looking at it.
> Ah, I didn't know it was denied funding. Too bad. Good to hear Maciej
> is still interested in working on it.
Actually it was more that Maciej decided to take an internship instead.
> > I want to make the resolver a bit more easily replaceable.
> > [Lot's of useful information snipped]
> Thanks for the info Duncan. I'll be looking into this but don't expect
> super rapid progress. Where do I send patches?
Send them to this list. ("darcs send" will send them here too)
More information about the cabal-devel