diff options
Diffstat (limited to 'doc/tut1.txt')
-rw-r--r-- | doc/tut1.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/tut1.txt b/doc/tut1.txt index 1fa495054..6f10e7cbb 100644 --- a/doc/tut1.txt +++ b/doc/tut1.txt @@ -758,9 +758,13 @@ However, this cannot be done for mutually recursive procedures: proc even(n: int): bool proc odd(n: int): bool = + if n == 0: + true n == 1 or even(n-1) proc even(n: int): bool = + if n == 1: + true n == 0 or odd(n-1) Here ``odd`` depends on ``even`` and vice versa. Thus ``even`` needs to be |