Hello, I am quite new to Haskell and I am seeking the best way to display trees graphically when using Haskell. I have looked on the web, but am still not clear!
For those interested, please find more detailed information below. Regards, Luana Fagarasan Further information: I am writing a theorem prover in Haskell as my final year project. This is very loosely based on the HAL theorem prover described in "ML for the working programmer" by Larry Paulson. I would like to display the proof tree (containing the main goal as the root and subgoals that were developed along the way as leaves/nodes), once a proof is found. More generally I would be interested in understanding more about GUIs when using Haskell.
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
