Why don't other programming languages have ranges?

BCS none at anon.com
Sat Jul 31 16:38:17 PDT 2010


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





More information about the Digitalmars-d mailing list