[Agda] Simple Agda Libraries

[Nils Anders Danielsson]

On 2009-01-11 17:34, Wouter Swierstra wrote:

> I have to admit I'm a bit hesitant to use the standard libraries. It
> has a bit too much Unicode mixfix madness for my taste.

Is it the use of non-ASCII characters which is problematic, or the use
of mixfix operators? I agree that it may not be obvious how to type
non-ASCII characters (although it is very easy to learn, see my other
message). However, my opinion is that mixfix operators are only
marginally more complicated than infix operators, which I note that you
have used in your library.

-- 
/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.