[Agda] Parsing Mixfix Operators, source code?

[Nils Anders Danielsson]

On 2011-04-13 07:57, Jason Dagit wrote:
> Perhaps agda itself is now using what is described there and I should
> read the agda source?

No. An Agda implementation was prototyped:

   http://code.haskell.org/Agda/src/prototyping/mixfix/

The following file may provide a good starting point for the prototype's
code:

   http://code.haskell.org/Agda/src/prototyping/mixfix/Test.hs

-- 
/NAD