[Haskell] Haskell  / Full-fledge verified OS

William DUCK guillaume.fortaine at wanadoo.fr
Fri Aug 25 21:49:05 EDT 2006

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,


More information about the Haskell mailing list