Anonymous user
Proof: Difference between revisions
m
→{{header|Ada}}: Added short description of Natural
(→Examples: Added Ada) |
m (→{{header|Ada}}: Added short description of Natural) |
||
Line 8:
=Examples=
=={{header|Ada}}==
Natural is a pre=defined subtype for Ada.
package Evens is
type Even_Number is private;
Line 105 ⟶ 106:
end Evens;
=={{header|Coq}}==
| |||