Rick R <rick.richard...@gmail.com> writes: > I'm sure Premier Election Solutions (formerly Diebold) can provide us with > an online voting solution.
You know, while the recent voting scandals have been milked for all they're worth by the open source community, FP has been very quiet about it. Isn't this an application where correctness matters? How about a proof that the software never loses (or injects) votes, for instance? -k -- If I haven't seen further, it is by standing in the footprints of giants _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe