Talk:Proof

From Rosetta Code
Revision as of 21:45, 21 December 2007 by rosettacode>Mwn3d

The subtype Natural is pre-defined for all Ada implementations. Arithmetic upon that subtype is also pre-defined. This does not appear to be a very interesting problem in Ada. Any suggestions? --Waldorf 14:42, 21 December 2007 (MST)

This seems like less of a computing problem, and more of a discrete math problem. I'm not sure if it's a good task. --Mwn3d 14:45, 21 December 2007 (MST)
Retrieved from "https://rosettacode.org/wiki/Talk:Proof?oldid=52750"