Anonymous user
Ludic numbers: Difference between revisions
m
→{{header|Eiffel}}
Line 626:
make (n: INTEGER)
-- Initialized arrays for find_ludic_numbers.
require
n_positive: n > 0
|