[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