[Agda-dev] New Agda Compiler/Backend

[Andrés Sicard-Ramírez]

On 25 March 2015 at 08:54, Ulf Norell <ulf.norell at gmail.com> wrote:
> Philipp I invited you to the agda group on github so you can commit directly
> to the main repo when you make further developments on the backend.

You can commit, so I guess you can also take ownership on some issues :-)

Please send me a Google account for adding it to the bug tracker system.

-- 
Andrés