Re: 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><