[Agda] Agdckage

[Darin Morrison]

On Tue, Mar 17, 2009 at 3:01 PM, Nils Anders Danielsson
<nad at cs.nott.ac.uk> wrote:

> Hi,
>
> Agda is now available on Hackage, so Agda and most of its dependencies
> can be installed simply by running
>
>  cabal install Agda
>
> and, for the command-line program,
>
>  cabal install Agda-executable.

Great :)

> What do you think? It feels like a bit of a hack, but implementing a
> package system is not fun, so it would be good if we could take
> advantage of the work others have put into this.

I think this is a pretty nice idea.

I agree that it feels a little bit like a hack but it could provide
something quite usable for the time being.  Personally, I've worked on
several modules that I probably would have made available as packages
if something like this existed.

> Needless to say, if someone can use some spare time to implement the
> ideas above it would be a welcome contribution to the Agda project.

If someone else doesn't get to it before then, I'd be willing to take
a shot at it after classes are over (around May).

-- 
Darin