[Agda-dev] Other new branch in the standard library repository:
2.4.2.2
Andrés Sicard-Ramírez
asr at eafit.edu.co
Tue Mar 17 14:46:08 CET 2015
On 17 March 2015 at 04:06, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> I think this is too complicated, and takes too much time. Can't we
> restrict development to the master branch, and use the other branches
> for bug-fixes?
How can we test in the maintenance branch of Agda all the new stuff in
the development version (master branch) of the standard library?
--
Andrés
More information about the Agda-dev
mailing list