[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