[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:18:41 CET 2015
On 17 March 2015 at 07:16, Andrés Sicard-Ramírez <asr at eafit.edu.co> 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?
If a bug-fix version of Agda is released, how can we release an
*updated* version of the standard library compatible with this version
of Agda?
--
Andrés
More information about the Agda-dev
mailing list