[SCL] General sugar: an idea for discussion

[Chris Menzel]

On Sat, Apr 12, 2003 at 06:50:05PM -0500, Pat Hayes wrote:
> Agreed, but that wasn't my point.  I was meaning to suggest putting 
> this into the basic logic, at the abstract syntax level, as a 
> general-purpose device, not as another concrete syntax. Or at least 
> put the idea up for discussion. Once I get my head around Chris' 
> style of writing abstract syntax I will try to write this up more 
> precisely.

Would it help if I explicitly defined the syntactic functions that
generate the traditional FOL, CGIF, and XML-ish examples in the doc I
worked up the other day?

-chris