
8 Jan
2008
8 Jan
'08
4:48 p.m.
Hi, Is there a way to configure ghci to display the number of reuctions after each compution (as in winhugs)? Thanks!