github? [Re: [Agda] Agda development]

Andrés Sicard-Ramírez andres.sicard.ramirez at
Sun Dec 1 19:34:58 CET 2013

On 1 December 2013 12:55, Andreas Abel <abela at> wrote:

> Also, people say that keeping forks and merging conflicts is easier with
> git than darcs.

Keep updated a fork is not easy with Darcs. This is one of the reasons why I
have agreed with the migration to Git on GitHub.

-------------- next part --------------
An HTML attachment was scrubbed...

More information about the Agda mailing list