[Agda] Parsing Mixfix Operators, source code?

[Nils Anders Danielsson]

On 2011-04-13 12:25, gallais @ ensl.org wrote:
> You will find what you are looking for on Nils' website:
>
> http://www.cse.chalmers.se/~nad/publications/danielsson-norell-mixfix.html
>
> If you have a look at the libraries' page of the Agda wiki [1]
> you can even find a more general library:
>
> http://www.cse.chalmers.se/~nad/listings/parser-combinators/TotalParserCombinators.html
>
> and the corresponding darcs repository:
>
> http://www.cse.chalmers.se/~nad/repos/parser-combinators.code/

The mixfix operator grammar scheme is included with the parser
combinator library's code:

   http://www.cse.chalmers.se/~nad/listings/parser-combinators/Mixfix.html

-- 
/NAD