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

Mateusz Kowalczyk fuuzetsu at fuuzetsu.co.uk
Mon Mar 24 23:06:02 CET 2014


On 24/03/14 21:02, Tillmann Rendel wrote:
> Hi,
> 
> 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.
> 
>    Tillmann
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
> 

I think we can re-use cabal packages for this pretty easily, removing
anything we might not need. I think that what you outline is a fine
first ‘big’ goal.

I'll have to study the cabal source code.

I am glad to see that there's interest.

-- 
Mateusz K.


More information about the Agda mailing list