[Agda] [ANNOUNCE] Agda 2.5.1 release candidate 2

Andrés Sicard-Ramírez asr at eafit.edu.co
Thu Apr 14 15:08:09 CEST 2016


On 14 April 2016 at 06:38, Sergei Meshveliani <mechvel at botik.ru> wrote:
> I have the following questions/notes.
>
> 1. I have tested it on DoCon-A. It looks all right.

Thanks for the feedback.

>
> 2. In Standard library, I do not find the installation instruction
>    (I tried `cabal install', and this has occurred lucky).

What did you need to install?


-- 
Andrés


More information about the Agda mailing list