[r6rs-discuss] Re: operational or denotational semantics?
cowan at ccil.org
Sun Feb 25 23:50:47 EST 2007
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."
All Norstrilians knew what laughter was: John Cowan
it was "pleasurable corrigible malfunction". cowan at ccil.org
--Cordwainer Smith, Norstrilia
More information about the r6rs-discuss