: (m-top-eval '(factorial 3)) Entry (m-eval '(factorial 3) '((factorial lambda (n) (if (<= n 1) 1 (* n (fa... |Entry (m-eval 3 '((factorial lambda (n) (if (<= n 1) 1 (* n (factorial (- n... |==> 3 |Entry (m-apply '(lambda (n) (if (<= n 1) 1 (* n (factorial (- n 1))))) '(3)... | Entry (m-eval '(if (<= n 1) 1 (* n (factorial (- n 1)))) '((n . 3) (factor... | Entry (m-eval '(<= n 1) '((n . 3) (factorial lambda (n) (if (<= n 1) 1 (*... | |Entry (m-eval 'n '((n . 3) (factorial lambda (n) (if (<= n 1) 1 (* n (fa... | |==> 3 | |Entry (m-eval 1 '((n . 3) (factorial lambda (n) (if (<= n 1) 1 (* n (fac... | |==> 1 | ==> #f | Entry (m-eval '(* n (factorial (- n 1))) '((n . 3) (factorial lambda (n) ... | |Entry (m-eval 'n '((n . 3) (factorial lambda (n) (if (<= n 1) 1 (* n (fa... | |==> 3 | |Entry (m-eval '(factorial (- n 1)) '((n . 3) (factorial lambda (n) (if (... | | Entry (m-eval '(- n 1) '((n . 3) (factorial lambda (n) (if (<= n 1) 1 (... | | Entry (m-eval 'n '((n . 3) (factorial lambda (n) (if (<= n 1) 1 (* n (... | | ==> 3 | | Entry (m-eval 1 '((n . 3) (factorial lambda (n) (if (<= n 1) 1 (* n (f... | | ==> 1 | | ==> 2 | | Entry (m-apply '(lambda (n) (if (<= n 1) 1 (* n (factorial (- n 1))))) ... | | Entry (m-eval '(if (<= n 1) 1 (* n (factorial (- n 1)))) '((n . 2) (n ... | | |Entry (m-eval '(<= n 1) '((n . 2) (n . 3) (factorial lambda (n) (if (... | | |==> #f [details omitted] | | |Entry (m-eval '(* n (factorial (- n 1))) '((n . 2) (n . 3) (factorial... | | | Entry (m-eval 'n '((n . 2) (n . 3) (factorial lambda (n) (if (<= n 1... | | | ==> 2 | | | Entry (m-eval '(factorial (- n 1)) '((n . 2) (n . 3) (factorial lamb... | | | Entry (m-eval '(- n 1) '((n . 2) (n . 3) (factorial lambda (n) (if ... | | | ==> 1 [details omitted] | | | Entry (m-apply '(lambda (n) (if (<= n 1) 1 (* n (factorial (- n 1))... | | | |Entry (m-eval '(if (<= n 1) 1 (* n (factorial (- n 1)))) '((n . 1)... | | | | Entry (m-eval '(<= n 1) '((n . 1) (n . 2) (n . 3) (factorial lamb... | | | | ==> #t [details omitted] | | | | Entry (m-eval 1 '((n . 1) (n . 2) (n . 3) (factorial lambda (n) (... | | | ==> 1 | | |==> 2 | |==> 2 | ==> 6 ==> 6
Contents    Page-10    Prev    Next    Page+10    Index