github? [Re: [Agda] Agda development]

[Mateusz Kowalczyk]

On 09/01/14 08:04, Ulf Norell wrote:
> We decided to switch over to git and host Agda on github. This will happen
> some time after the 2.3.4 release (which will happen after ghc-7.8 is out).
> We were a bit underwhelmed by the issue tracker on github though, so the
> issues will stay put for the time being.
> 
> / Ulf
> 
> 

Great to hear that Agda development will be slightly more accessible.

-- 
Mateusz K.