Why don't other programming languages have ranges?
retard
re at tard.com.invalid
Sun Aug 1 03:44:19 PDT 2010
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.
More information about the Digitalmars-d
mailing list