On 1/12/11 5:05 AM, Ketil Malde wrote:
Of course, ideally you should design your types so that all possible values are meaningful:-)
Sadly we cannot all program in Agda. :-) Cheers, Greg _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe