(no subject)



On Sun, Jul 6, 2008 at 5:05 PM, Barton Willis <willisb at unk.edu> wrote:
> There are differences between fib and fastfib.

... and neither one is a proper simplifying function:

     subst(10,x,fib(x)) => fib(10)   -- should be 55

             -s