Also, at some point I should actually prove the algorithm is correct

[sniffnoy]

Just finished the initial coding of the first of the two hard parts of the program, and I have to say, while writing this in Haskell has made things a lot cleaner and clearer, I have very little idea how I'll actually go about debugging this...

(Talent show entry forthcoming, at some point.)

-Harry