On Thu, Nov 10, 2011 at 7:07 PM, Magnus Therning <mag...@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.

_______________________________________________
arch-haskell mailing list
arch-haskell@haskell.org
http://www.haskell.org/mailman/listinfo/arch-haskell

Reply via email to