[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