<html><body><div style="color:#000; background-color:#fff; font-family:verdana, helvetica, sans-serif;font-size:12pt"><div><span style="font-family: monospace; font-size: 13px; ">Hello,</span><br style="font-family: monospace; font-size: 13px; "><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">I am quite new to Haskell and I am seeking the best way to</span><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">display trees graphically when using Haskell. I have looked on</span><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">the web, but am still not clear!</span><br style="font-family: monospace; font-size: 13px; "><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">For those interested, please find more detailed
information below.</span><br style="font-family: monospace; font-size: 13px; "><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">Regards,</span><br style="font-family: monospace; font-size: 13px; "><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">Luana Fagarasan</span><br style="font-family: monospace; font-size: 13px; "><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">Further information: I am writing a theorem prover in Haskell as</span><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">my final year project. This is very loosely based on the HAL</span><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">theorem prover described in "ML for the working
programmer" by</span><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">Larry Paulson.</span><br style="font-family: monospace; font-size: 13px; "><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">I would like to display the proof tree (containing the main goal</span><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">as the root and subgoals that were developed along the way as</span><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">leaves/nodes), once a proof is found.</span><br style="font-family: monospace; font-size: 13px; "><br style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">More generally I would be interested in understanding more about</span><br
style="font-family: monospace; font-size: 13px; "><span style="font-family: monospace; font-size: 13px; ">GUIs when using Haskell.</span> </div></div></body></html>