[EMAIL PROTECTED] 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. ;-)
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
