Amazing how far computers have come: I ran that TARAI function from the example in SBCL on my (years-old) laptop, and it completes in 2 milliseconds — at the ti

Amazing how far computers have come: I ran that TARAI function from the example in SBCL on my (years-old) laptop, and it completes in 2 milliseconds — at the time, some of the implementations were taking tens or hundreds of seconds!