Jeffrey Rainy wrote: > Do you think I could compare my code withyours, to find my bug ?What a terrible suggestion! The proper method is to publish each program's algorithm and provide a formal proof why the algorithm (and then its implementation) would be correct. -- robert jasiekDoes anyone actually use formal proofs of correctness to debug code? Is it really a practical method of getting rid of all bugs?
I'm fairly sure that Robert was joking. Nick -- Nick Wedd nick@xxxxxxxxxxxxxxxxx _______________________________________________ computer-go mailing list computer-go@xxxxxxxxxxxxxxxxx http://www.computer-go.org/mailman/listinfo/computer-go/