Re: [Haskell] Haskell  / Full-fledge verified OS

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