[Agda] Parsing Mixfix Operators, source code?

Jason Dagit dagitj at gmail.com
Wed Apr 13 07:57:39 CEST 2011


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110412/4a8fe28c/attachment.html


More information about the Agda mailing list