Mercurial > urweb
diff doc/intro.ur @ 2249:c05851bf7861
Merge.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Sat, 12 Sep 2015 17:11:33 -0400 |
parents | 544199d8b14a |
children |
line wrap: on
line diff
--- a/doc/intro.ur Sat Aug 15 23:08:37 2015 -0700 +++ b/doc/intro.ur Sat Sep 12 17:11:33 2015 -0400 @@ -58,12 +58,15 @@ fact 5 (* end *) -fun isEven n = n = 0 || isOdd (n - 1) -and isOdd n = n = 1 || isEven (n - 1) +fun isEven n = n = 0 || (n > 1 && isOdd (n - 1)) +and isOdd n = n = 1 || (n > 1 && isEven (n - 1)) (* begin eval *) isEven 32 (* end *) +(* begin eval *) +isEven 31 +(* end *) (* Of course we have anonymous functions, too. *)