4 Jul
2010
4 Jul
'10
6:12 a.m.
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