abstraction upon recursion achieved

diff --git a/demos.kl b/demos.kl
index 31c455ea21f7b07fced4c43fe17e83e04d3a7788..dfe963519da2f10882cc1a606d9b66b2beac6401 100644 (file)
--- a/demos.kl
+++ b/demos.kl
@@ -57,7 +57,6 @@
 
 (def abstract-generator (Z (B (B (B (B (C (C C nil))))) (B (Phi B (B S (B cons))) (B (B W) (B (B B)))))))
 
-(def intermediary (Z (C (B B (B B (B C (B (B S) (B C (C (C Phi cdr) car)))))) (C (B (B B (Phi cons)) (C (C Phi car) cdr)) (C B cdr)))))
-(def withcons (B (B (B Z)) intermediary))
+(def tr-fac (B (S (Phi (eq 0) cdr car)) (C B (Phi cons (Phi * car cdr) (B (C - 1) cdr)))))
 
-(def tr-fac (B (S (Phi (eq 0) cdr car)) (C B (Phi cons (Phi * car cdr) (B (C - 1) cdr)))))
\ No newline at end of file
+(def abstract-rec (B (B (B (C B cons))) (B (B (B B)) (B (B (B Z)) (C (B B (B B (B B (B S (C (C Phi cdr) car))))) (B (B (C B)) (B (C B (C B cdr)) (B (Phi cons) (C (C Phi car) cdr)))))))))
\ No newline at end of file