autophile

In Figures 13 and 14, there is a bug: factorial(0) -> 1. should be factorial(0) -> 1; factorial(0, Acc) -> Acc, factorial(N, Acc) ->... needs to be factorial(0, Acc) -> Acc; factorial(N, Acc) ->...

abesto

This is exactly what I needed, thanks a lot! Also, if you (the author) ever read this, how about replacing 'RIGHT HEADER HERE' with something more descriptive? ;)