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". [EMAIL PROTECTED]
--Cordwainer Smith, Norstrilia
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
