[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:43:01 CET 2015
On 17 March 2015 at 08:30, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> I assume that by "bug-fix" you mean "whatever is on the maintenance
> branch".
Yes.
--
Andrés
More information about the Agda-dev
mailing list