[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Tue Dec 15 21:30:46 CET 2015


On 15 December 2015 at 15:20, Sergei Meshveliani <mechvel at botik.ru> wrote:
> And where is its Standard library?

You can use the standard library that you are using with the
development version of Agda.

-- 
Andrés


More information about the Agda mailing list