github? [Re: [Agda] Agda development]

Jan Stolarek jan.stolarek at p.lodz.pl
Fri Jan 3 16:29:14 CET 2014


Hi Ulf and others,

> We'll have a sit down this week to discuss whether it's time to take the
> plunge.
This was month ago. Have any decissions been made regarding possible moving to git?

Janek


More information about the Agda mailing list