[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