[Agda] Re: The standard library has moved to github

Stevan Andjelkovic stevan.andjelkovic at strath.ac.uk
Fri Jan 17 17:48:04 CET 2014


Ulf Norell <ulf.norell at ...> writes:
>
> [...]
>
> This also means that the library has its own issue tracker, so please send
> library issues
> to github rather than to google code. I'll work on migrating the existing 
> issues.

Perhaps it would also make sense to migrate the html listings of the library:

  http://www.cse.chalmers.se/~nad/listings/lib/Everything.html  ?

It would be good if it stayed in sync with the repository (ideally via some
post-hook?). Somebody familiar with github (and github pages?) can perhaps
suggest how to best set this up?


Cheers,
SA.



More information about the Agda mailing list