[Agda] Re: Agda github organization?

[Nils Anders Danielsson]

On 2010-09-21 13:02, Alan Jeffrey wrote:
> I created a github agda organization at:
>
> http://github.com/agda
>
> If anyone would like to join, send me an email!

Feel free to write something about this on the Agda wiki, perhaps in a
section at the bottom of the following page:

   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries

--
/NAD