[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