[Agda-dev] Other new branch in the standard library repository:
2.4.2.2
Andrés Sicard-Ramírez
asr at eafit.edu.co
Thu Mar 19 21:02:20 CET 2015
Nils,
> 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?
Well, from the latest commits in the master branch, I see you took a decision.
I'll repeat my question:
How can we test in the maintenance branch of Agda all the new stuff in
the development version (the master branch) of the standard library?
--
Andrés
More information about the Agda-dev
mailing list