[SCL] Second version of the SCL draft spec here

[Tanel Tammet]

Hi,

After both reading the discussion from the last few days and
doing some additional thinking, I have made some modifications
and additions to the SCL draft spec.

The new spec (1. november) is attached.

Please look at the "Appendix D: changes from
the previous version" first: the modifications
and additions are enumerated and described
there.

In particular, I have written chapters on SCL
abstract syntax and SCL->traditional FOL
translation.

The first of these is NOT intended to replace
Chris's earlier SCL abstract syntax, but rather
to push him towards producing a simpler-to-read
presentation with some complex ascpects
like "SCL languages" dependent on lexicon
simply removed.

Please feel free to replace the new
abstract syntax chapter with your own,
provided it is not more complex than
the one I just produced. Any changes
to the current one, merges, etc are
also fine, of course.

Regards,
        Tanel Tammet





-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://philebus.tamu.edu/pipermail/scl/attachments/20031101/508b099f/scl1nov-0001.html