up

Author: xieyuheng

examples/factorial.test.lisp

@@ -2,7 +2,7 @@
 (import zero one two three four "nat-church.lisp")
 (import if true false "bool.lisp")
 
-(import factorial "factorial")
+(import factorial "factorial.lisp")
 
 (assert-equal (factorial zero) one)
 (assert-equal (factorial one) one)

examples/factorial.test.lisp.out

@@ -1 +1 @@
-ENOENT: no such file or directory, open '/home/xyh/projects/xieyuheng/lambda-lisp.js/examples/factorial'
+(lambda (n) (n (lambda (t f) t) (lambda (x t f) f) (lambda (base step) (step base)) (n (lambda (base step) base) (lambda (n₁) (n (lambda (f) (f (lambda (base step) base) (lambda (base step) base))) (lambda (x f) (f (x (lambda (car cdr) cdr)) (lambda (base step) (step (x (lambda (car cdr) cdr) base step))))) (lambda (car cdr) car) (lambda (t f) t) (lambda (x t f) f) (lambda (base step) (step base)) (n (lambda (f) (f (lambda (base step) base) (lambda (base step) base))) (lambda (x f) (f (x (lambda (car cdr) cdr)) (lambda (base step) (step (x (lambda (car cdr) cdr) base step))))) (lambda (car cdr) car) (lambda (base step) base) (add (factorial (n (lambda (f) (f (lambda (base step) base) (lambda (base step) base))) (lambda (x f) (f (x (lambda (car cdr) cdr)) (lambda (base step) (step (x (lambda (car cdr) cdr) base step))))) (lambda (car cdr) car) (lambda (f) (f (lambda (base step) base) (lambda (base step) base))) (lambda (x f) (f (x (lambda (car cdr) cdr)) (lambda (base step) (step (x (lambda (car cdr) cdr) base step))))) (lambda (car cdr) car))))) n₁ (lambda (prev base step) (step (prev base step))))))))