[plt-scheme] proof checking: a subproblem

From: Prabhakar Ragde (plragde at uwaterloo.ca)
Date: Thu Jan 19 22:00:08 EST 2006

Danny Yoo wrote:
> Here's a quick-and-dirty parser for variables, ANDs, and ORs, using the
> parser-tools collection:

Thanks, Danny. That helps, as does the fact that there's an examples 
directory in parser-tools, which I didn't think to look for. I was 
trying to read the documentation through Help Desk and I guess I gave up 
before reaching the end where it says so. --PR

Posted on the users mailing list.