[Agda] Simple Agda Libraries

[Lennart Augustsson]

Actually, I find mixfix operators much more complex to parse when reading code.
But as with all custom syntax, when used correctly they can also make
it much easier to read.

On Mon, Jan 12, 2009 at 11:26 AM, Nils Anders Danielsson
<nad at cs.nott.ac.uk> wrote:
> 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.
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>