The Coq mailing list

[Gregory Malecha <gmalecha AT cs.harvard.edu>]

Hello --

I'm wondering if there is a way to write plugins that have more interesting parsers. For example, optional arguments.

Are there any examples out there of simple/clean ways to do things like this?

Thanks in advance.

--

gregory malecha

http://www.people.fas.harvard.edu/~gmalecha/