[Agda] Agda environment: Hackage, Hoogle, Haddock, Cabal?

[Alan Jeffrey]

My attempt at solving this was:

   https://github.com/agda/agda-makefile

which provides lightweight dependency management and package resolution 
using Make and curl.

Alan.

On 03/25/2014 05:02 AM, Nicolas Pouillard wrote:
> Quoting Tillmann Rendel (2014-03-24 22:02:48)
>> Hi,
>
> Hi all,
>
>> Mateusz Kowalczyk wrote:
>>> Are there plans to assimilate tools with functionality of Hackage,
>>> Hoogle, Haddock and Cabal into the Agda environment?
>>
>> This would be great!
>>
>> Maybe a first step would be to define a notion of "Agda package" that
>> consists of a bunch of agda files. The goal would be to say:
>>
>>     agda --package stdlib Main.agda
>>
>> instead of
>>
>>     agda -i$HOME/agda-lib/src -i. Main.agda
>>
>> This is intentionally a very modest goal, but I think it would be a step
>> in a good direction.
>
> Speaking of such a modest goal here my attempt at providing a *very modest*
> answer for exactly this need:
>
>    https://github.com/np/agda-pkg/blob/master/agda-pkg
>
> As you can see this is a shell script of ~150 lines. It is by no mean a
> definite design or implementation but it follows from the KISS principle
> (used for Arch Linux packaging for instance).
>
> Moreover, my feeling about reusing Cabal is: if one manages to reuse it
> at a negligible cost then fine, otherwise I see no reason to stick with
> such an infrastructure which IHMO over-engineered.
>
> Best regards,
> -- NP
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>