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

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Mar 9 14:21:25 CET 2015


On 9 March 2015 at 08:14, gallais <guillaume.allais at ens-lyon.org> wrote:
> This is because of the introduction of SIZEUNIV, right?[1]

Yes.

> The doc
> build was failing for a while [2] until I updated the binary used.
> Is this worth reporting in the future?

Yes, please.

-- 
Andrés


More information about the Agda-dev mailing list