[Agda] Data.Nat error

Ruben Henner Zilibowitz rzilibowitz at yahoo.com.au
Sat Nov 8 13:05:28 CET 2008


Unfortunately even after getting the latest patches form the Agda  
repository and rebuilding the error persists.

Ruben

On 08/11/2008, at 8:59 PM, Nils Anders Danielsson wrote:

> On 07/11/08 19:31, Ruben Henner Zilibowitz wrote:
>
>> I'm getting an error from importing the Data.Nat module from the  
>> standard library.
>
> The latest version of the library often requires the latest
> (development) version of Agda. The \() notation was introduced  
> recently,
> so you need to upgrade Agda.
>
> -- 
> /NAD
>
> This message has been checked for viruses but the contents of an  
> attachment
> may still contain software viruses, which could damage your computer  
> system:
> you are advised to perform your own checks. Email communications  
> with the
> University of Nottingham may be monitored as permitted by UK  
> legislation.
>



More information about the Agda mailing list