Hacker News new | ask | show | jobs
by gigatexal 3447 days ago
software correctness eh?

so build the autopilot and other systems in haskell?