From abe1051374c2213ab28a8e7814ef3cc11d044e77 Mon Sep 17 00:00:00 2001 From: Alexander Date: Tue, 16 Jun 2015 15:58:21 +0300 Subject: Update tut1.txt --- doc/tut1.txt | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc') 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 -- cgit 1.4.1-2-gfad0