[Agda] ANNOUNCE: Agda 2.4.2.1
Andreas Abel
abela at chalmers.se
Sun Nov 16 14:20:34 CET 2014
Fixed (but untested).
On 16.11.14 8:36 PM, Twan van Laarhoven wrote:
> 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
>>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list