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