[Agda] Agda's mixfix parser

Stefan Monnier monnier at iro.umontreal.ca
Wed May 26 19:45:26 CEST 2010


While reading "Parsing Mixfix Operators"
http://www.cs.nott.ac.uk/~nad/publications/danielsson-aim8-talk.handout.pdf
I wondered: why use a memoizing backtracking implementation rather than
something based on Floyd's operator precedence parsers?


        Stefan



More information about the Agda mailing list