Example of Evaluation

: (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