[r6rs-discuss] Re: operational or denotational semantics?

[John Cowan]

Matthias Felleisen scripsit:

> Worse, the first ones for store-based languages  
> were faulty. (The proofs not the theorems.) 

"Almost all theorems are true, but almost all proofs have bugs."
	--Paul Pedersen

-- 
All Norstrilians knew what laughter was:        John Cowan
it was "pleasurable corrigible malfunction".    cowan at ccil.org
        --Cordwainer Smith, Norstrilia