juanbono

Mail de Conor McBride en la lista de mails de haskell (creo)
----------------------------------------------------------------------------------------------------------------------------
Hi

I'm sorry about the level of consternation this discussion seems to be
generating, so let me attempt to clarify my previous remarks.

The diagonalization argument which shows that any total language
misses some total programs is the usual one: Godel-code everything in
sight, then make the alleged universal program eat a twisted copy of