[Haskell] Displaying trees in Haskell
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.
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
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...
More information about the Haskell