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

Tillmann Rendel rendel at informatik.uni-marburg.de
Mon Mar 24 22:02:48 CET 2014


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


More information about the Agda mailing list