What is special about WinGHCi? Does it add anything to ghci or is it just a GUI interface to ghci commands? I have RSI and avoid the mouse, so I would rather use ghci unless WinGHCi adds something special. Thanks, Mike