On Friday, June 13, 2003, at 12:28 PM, Shriram Krishnamurthi wrote: > I'm not sure which particular work you have in mind, and especially > what "check itself" means (whether something profound, or merely > something like a type system). I thought number was the only type in typical spreadsheets(?) Cheers, Steve Io, a small language: http://www.iolanguage.com/