[Haskell-cafe] Re: Re: Displaying # of reductions after eachcomputation in ghci?

Lennart Augustsson wrote:

What is a reduction anyway?

I am not an expert but I thought in lambda calculus one has primitive rules for evaluation, e.g. beta reduction. So a reduction is a 'smallest step' in reducing an expression to normal form, no? Cheers Ben