[Agda] Parsing Mixfix Operators, source code?

[gallais at ensl.org]

Hi Jason,

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/

Cheers,

--
guillaume

[1] http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries

On 13 April 2011 07:57, Jason Dagit <dagitj at gmail.com> wrote:
> I was reading this document:
> http://www.cse.chalmers.se/~nad/publications/danielsson-norell-mixfix.pdf
> And wondering if the source code is available.  I know the paper gives a lot
> of the source but it isn't obvious to me if that's everything.  I was
> thinking about translating it to Haskell and having a reference version in
> Agda is a "nice to have".
> Perhaps agda itself is now using what is described there and I should read
> the agda source?
> Thanks,
> Jason
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>