Why don't other programming languages have ranges?

[BCS]

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.

-- 
... <IXOYE><