[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