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

Andreas Abel andreas.abel at ifi.lmu.de
Mon Mar 24 22:07:31 CET 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 24.03.2014 21:14, Mateusz Kowalczyk wrote:
> On 24/03/14 20:07, Andreas Abel wrote:
>> Mateusz, great initiative!
>> 
>> We would love to a have a version of cabal/hackage for Agda!
>> 
>> If you are motivated to work on this, it would make sense that
>> you join the Agda meeting in Paris in May (just announced!), or
>> come for a visit to Chalmers.
> 
> While I'd love to attend, I doubt I'll be able to do so mostly due
> to financial constraints. I'm pretty sure my exams are at that time
> too.
> 
> I would be interested in working on such tools but I doubt I could
> do it all alone so if anyone is interested and/or has ideas then
> I'm interested to hear about it! Personally I think that the best
> approach would be to take existing Hackage/cabal code and adapt it
> to Agda's needs but maybe there are some exciting new ideas that I
> don't know about.

Darin Morrison started on this a couple of years ago, but I think he
abandoned the project.  You could ask him for advice.

  https://github.com/darinmorrison

Ulf Norell had some ideas about a minimal effort way of using cabal
for Agda, you could email him.

- -- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iEYEARECAAYFAlMwnpIACgkQPMHaDxpUpLMohQCgjGY5J6Q0wJ/08pwTvFT5WBd6
DzUAni4nrYZfSJ+ZcUS2Fmad6ELbjpcz
=AijE
-----END PGP SIGNATURE-----


More information about the Agda mailing list