[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