[Agda] ANNOUNCE: Agda 2.4.2.1

Twan van Laarhoven twanvl at gmail.com
Sun Nov 16 13:36:08 CET 2014


On Windows I get a compile error when installing Agda-2.4.2.1:

   > cabal install agda
   Building Agda-2.4.2.1...
   ....
   src\full\Agda\Utils\FileName.hs:79:32:
     Not in scope: type constructor or class `Propertty'
     Perhaps you meant `Property' (imported fromfrom Agda.Utils.QuickCheck)

After fixing this typo, agda compiled correctly.

Twan

On 2014-11-15 1:21, Andrés Sicard-Ramírez wrote:
> Hi,
>
> Agda 2.4.2.1 has been released.
>
> Download with
>
>    cabal update && cabal install Agda
>
> or go to http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download.
>
> Important changes since Agda 2.4.2:
> https://github.com/agda/agda/blob/2.4.2.1/CHANGELOG.
>
> --
> Andrés, on behalf of the Agda team
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>


More information about the Agda mailing list