
14 Apr
2012
14 Apr
'12
8:25 a.m.
Michael, I had some code lying around, experimenting on tying-the-knot in the context of trees. I've just pushed it to github, hoping it can be helpful to you. The data type is slightly different to yours but the ideas should apply. https://github.com/ozgurakgun/knot-tree/blob/master/KnotBinTree.hs HTH, Ozgur