[Agda] Error in stdlib Relation/Binary/Core.agda
Nils Anders Danielsson
nad at Cs.Nott.AC.UK
Thu Sep 10 01:16:15 CEST 2009
On 2009-09-09 10:18, Chantal KELLER wrote:
> =================
> /home/keller/agda-stdlib/Relation/Binary/Core.agda:52,15-15
> /home/keller/agda-stdlib/Relation/Binary/Core.agda:52,15:
> in the name _Preserves_?_, the part ? is not valid :<ERROR> forall
> {av(1) av(2)} -> (av(1) -> av(2)) ...
> =================
It seems as if you are using an old version of the standard library. In
recent versions of Agda the symbol → is reserved, so _Preserves_→_ has
been renamed to _Preserves_⟶_.
The standard library documentation specifies, for every release, which
version of Agda it has been tested with.
--
/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