[Agda] Using the latest versions

[Eelco Lempsink]

On 21 jan 2009, at 13:46, Eelco Lempsink wrote:
> I'm having some problems using the latest standard libraries and  
> latest version of Agda.  I probably shouldn't have upgraded so  
> enthusiastically, the cutting edge does hurt.
...
> Is this a bug, or is it just me?


After Erik Hesselink told me the code worked for him, I reinstalled  
Agda and the libraries from scratch.  That fixed it.  Not sure how I  
got in a broken state.  Sorry for the noise.

-- 
Regards,

Eelco Lempsink

-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 194 bytes
Desc: This is a digitally signed message part
Url : https://lists.chalmers.se/mailman/private/agda/attachments/20090121/1f7b0a11/PGP.bin