12 Sep
2007
12 Sep
'07
6:57 p.m.
bf3@telenet.be wrote:
Are you kidding, or has automatic proving of programs evolved that far?
Aaarrrggghhhh, soon we're all out of job ;-)
"Experts" have been proclaiming this since high-level programming was invented many decades ago. We're still waiting. ;-)