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

Ben Franksen ben.franksen at online.de
Mon Jan 14 17:03:25 EST 2008

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?


More information about the Haskell-Cafe mailing list