Re: Why don't other programming languages have ranges?

[BCS]

Hello Don,

I agree with Walter's statement that ALL of the components are
unreliable, and I think it's important to realize that proofs are the
same.

That's where automatic proof checkers come in...

--
... <IXOYE><