need to find time to look at the level further, but I think this is
the finest and most amazing application of mathematics to LT so far -
an actual "useful" application! (not just a demo or exhibition).
I am wondering what other tasks can be programmed into a level. we
have a fairly good "toolbox" with which to work, now. Is there enough
complexity to calculate pi? any suggestions? any other interesting
theorems, series, or proofs, etc?
-steve