[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