[Agda-dev] Other new branch in the standard library repository: 2.4.2.2

Andrés Sicard-Ramírez asr at eafit.edu.co
Fri Mar 20 15:35:33 CET 2015


On 20 March 2015 at 09:29, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote:
> Andreas is trying to convinve me to use the maintenance branch,
> and I'll give it a try --- assuming your fixes for Issue 1396 are in there...

The fixes are there.

-- 
Andrés


More information about the Agda-dev mailing list