Mercurial > urweb

comparison doc/intro.ur @ 2168:544199d8b14a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix termination bug in tutorial's isEven/isOdd
author Adam Chlipala <adam@chlipala.net>
date Sun, 09 Aug 2015 11:14:09 -0400
parents 2d9f831d45c9
children
comparison
equal deleted inserted replaced
2167:a9dc205edd78 2168:544199d8b14a
56 56
57 (* begin eval *) 57 (* begin eval *)
58 fact 5 58 fact 5
59 (* end *) 59 (* end *)
60 60
61 fun isEven n = n = 0 || isOdd (n - 1) 61 fun isEven n = n = 0 || (n > 1 && isOdd (n - 1))
62 and isOdd n = n = 1 || isEven (n - 1) 62 and isOdd n = n = 1 || (n > 1 && isEven (n - 1))
63 63
64 (* begin eval *) 64 (* begin eval *)
65 isEven 32 65 isEven 32
66 (* end *)
67 (* begin eval *)
68 isEven 31
66 (* end *) 69 (* end *)
67 70
68 71
69 (* Of course we have anonymous functions, too. *) 72 (* Of course we have anonymous functions, too. *)
70 73