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

Reply via email to