[Haskell] Displaying trees in Haskell

Luana Fagarasan luana_0105 at yahoo.com
Wed Mar 7 22:06:59 CET 2012


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.


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. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20120307/7a34a9b0/attachment.htm>

More information about the Haskell mailing list