Peter Seibel <[EMAIL PROTECTED]> writes: > denotational semantics or something. But I--as someone who's spent a > *lot* of time poring over the Hyperspec--am hard-pressed to think of > ways to change or annotate it that would make it much better without > radically changing what it is.
Here is an example of a Lisp-related annotatable specification: Common Lisp Interface Manager - CLIM II Specification http://bauhh.dyndns.org:8000/clim-spec/index.html Paolo -- Lisp Propulsion Laboratory log - http://www.paoloamoroso.it/log _______________________________________________ Gardeners mailing list [email protected] http://www.lispniks.com/mailman/listinfo/gardeners
