Anonymous user
Talk:Proof: Difference between revisions
m
I think this should read
(→The Go proof?: long rantish discussion) |
m (I think this should read) |
||
Line 59:
::Lest I look too harsh, I'm not trying to be overly righteous or trying to kill your fun; it just so happens that I think "prove" is not a verb to be used slightly. --[[User:Ledrug|Ledrug]] 02:09, 22 June 2011 (UTC)
The task description reads "Define a type for natural numbers (0, 1, 2, 3, ...) representable by a computer, and addition on them". This does not make any sense. I think this should read "Define a datatype for natural numbers and their associated additions that can be represented on a computer.". It still doesn't make any more sense, but hey the words look better. :) [[User:Markhobley|Markhobley]] 15:33, 13 July 2011 (UTC)
| |||