[SCL] analytic operators and axioms

[Robert E. Kent]

SCL folk,

So far I have seen no interest in my suggestion that we need to add the
analytic operators and axioms of abstract syntax (ala abstract data types)
to the SCL document. Is this seen as being too complex or too abstract?
For increased readability I have put the contents of my previous message in
the PDF document located at the address
http://www.ontologos.org/SCL%20Abstract%20Syntax.pdf

Thanks.

Robert E. Kent
rekent at ontologos.org