[Haskell] Haskell / Full-fledge verified OS

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

Previous message: [Haskell] Haskell / Full-fledge verified OS
Next message: [Haskell] Exists any null instruction in Haskell?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [Haskell] Haskell / Full-fledge verified OS
Next message: [Haskell] Exists any null instruction in Haskell?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell mailing list