On Thu, Jan 27, 2005 at 01:33:17PM -0500, Matthew Fluet wrote: > fun wesley_fib (n : int) : iinf = > #1 (#1 (exp (fib, n + 1))) This should be able to be handled with #1 (#2 (exp (fib, n))), with a slight reduction in computational expense. -- wli