Hello all, Linus Torvalds said in 2000 :
"Talk is cheap. Show me the code." (2000)
I would want to say :
"Talk is cheap. Show me the formal verification." (2006)
Best Regards,
Will
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
