Talk:Proof

From Rosetta Code
Revision as of 21:42, 21 December 2007 by rosettacode>Waldorf (New page: 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 suggesti...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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)

Retrieved from "https://rosettacode.org/wiki/Talk:Proof?oldid=52749"