[Agda] Lightweight dependency management using make

[Nils Anders Danielsson]

On 2011-05-24 17:57, Alan Jeffrey wrote:
> I could try hacking away at cabal to make it Agda-aware, but this
> sounds like hard work to me! (AFAIK the state of play on Agdaizing
> cabal is still as discussed here:
> http://thread.gmane.org/gmane.comp.lang.agda/1055 but it could be that
> more has happened since, although the program notes for AIMXII
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=AIMXII.Notes suggest
> not :-)

I think it is fair to say that Darin has abandoned his work on Cabal for
Agda. If someone else is interested in taking over that would be great.
Darin can probably explain what he has done, so that it does not need to
be repeated.

-- 
/NAD