
10 Nov
2011
10 Nov
'11
10:09 p.m.
On Thu, Nov 10, 2011 at 7:07 PM, Magnus Therning
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.