j
k
j a
j l
On Tue, Jan 08, 2008 at 09:48:37PM +0000, Fernando Rodriguez wrote:
Is there a way to configure ghci to display the number of reuctions after each compution (as in winhugs)?
No. (rambling explanation snipped awaiting further request) Stefan
Attachments:
Back to the thread
Back to the list