Mutual recursion: Difference between revisions

m
Line 641:
Female (n: INTEGER): INTEGER
-- Female sequence of the Hofstadter Female and Male sequences.
require
n_is_positive: n > 0
do
if n = 0 then
Line 651 ⟶ 653:
Male (n: INTEGER): INTEGER
-- Male sequence of the Hofstadter Female and Male sequences.
require
n_is_positive: n > 0
do
if n = 0 then
Anonymous user