The Coq mailing list

[muad <muad.dib.space AT gmail.com>]

tumenjargal tsagaan wrote:
> 
> 
> hi,
> 
> Could you please tell me how to obtain a parser for Coq?
> or is there any pretty-printer program for coq so that I can learn how to
> process a coq expression?
> 
> Thanks.
> 
> Tumee.
> 
> 
> 
> 
> 
> 

The Coq implementation has this, you can write language extentions quite
easily.. making a standalone program will be possible too but it's not clear
how.
-- 
View this message in context: 
http://www.nabble.com/A-Parser-for-Coq-tp25022252p25029135.html
Sent from the Coq mailing list archive at Nabble.com.