up

Author: xieyuheng

examples/combinators.scm

@@ -1,7 +1,12 @@
-(define (S x y z) ((x z) (y z)))
+(define (S f g x) ((f x) (g x)))
 (define (K x y) x)
 (define (I x) x)
 
 (I)
 (K I)
 (S K I)
+
+(define (C f x y) (f y x))
+(define (B f g x) (f (g x)))
+
+(assert-equal (K I) (C K))

examples/combinators.scm.out

@@ -1,3 +1,3 @@
 (lambda (x) x)
 (lambda (y x) x)
-(lambda (z) z)
+(lambda (x) x)