[Agda-dev] New branch in the standard library repository: 2.4.2.3

[Andrés Sicard-Ramírez]

Hi,

I just noted that the branch 2.4.2.1 of the standard library doesn't
compile with the released version of Agda, i.e. Agda 2.4.2.2.

I created the branch 2.4.2.3 in the standard library repository. This
branch must compile with the maintenance version of Agda.

Please use the branch 2.4.2.3 for new updates to the standard library.

Thanks,

-- 
Andrés