[Agda-dev] Git branches of the standard library

[Andrés Sicard-Ramírez]

Hi,

FYI, we have two branches for the standard library:

master: This branch type-checks with the master branch of Agda

2.4.2.1: This branch type-checks with the maint-2.4.2 branch of Agda

​
Please push your new committees for the standard library using the 2.4.2.1
branch, if possible.

(​Don't forgot to merge​
​ the 2.4.2.1 branch in the master branch​
​​
​.)
​
​Thanks,
​
-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150105/1624e5fd/attachment.html