11 Nov
2011
11 Nov
'11
6:09 a.m.
On Thu, Nov 10, 2011 at 7:07 PM, Magnus Therning <magnus@therning.org> wrote:
So, what are our options when it comes to deciding what's in and what's out? Any thoughts?
One possibility is looking at the most downloaded packages on Hackage.
Oh, and can I please drop Agda in the meantime? ;)
Fine for me =). I've installed all of [haskell] on my computer, but I've never used Agda =). Cheers, -- Felipe.