Why don't other programming languages have ranges?

[BCS]

Hello retard,

> Sat, 31 Jul 2010 23:38:17 +0000, BCS wrote:
> 
>> Hello retard,
>> 
>>> Has anyone except the almighty
>>> Andrei ever even downloaded a theorem prover?
>> Yes, ACL2.
>> 
>> http://www.dsource.org/projects/scrapple/browser/trunk/backmath
>> 
>> Now I know why that sort of thing isn't done more often.
>> 
> Learning how to document your code might also help. It looks like a
> mess.
> 

I wish that had been the main problem...

-- 
... <IXOYE><