[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