bash-3.00$ umb-scheme

==> (load "ylect.scheme")

==> (define CurryAdd (lambda (I) (lambda (J) (+ I J))))

==> (curryadd 5)

==> ((curryadd 5) 6)

==> (define factme (lambda (F N)
                    (cond
                     ((= N 0) 1)
                     (else (* N (F F (- N 1)))))))

==> (factme factme 5)

==> (define fixfact (lambda (F)
                     (lambda (X)
                      (cond
                       ((= X 0) 1)
                       (else (* X ((F F) (- X 1))))))))

==> ((fixfact fixfact) 7)

==> (define Y (lambda (h)
               ((lambda (x) (h (x x))) (lambda (x) (h (x x))))))

==> (Y fixfact)

==> (define K5 (lambda (F) (lambda (x) 5)))

==> ((K5 6) 7)

==> (Y K5)

==> (define infList (n) (cons n (infList (+ n 1))))

==> (inflist 3)

==> (define infList (lambda (n) (cons n (delay (infList (+ n 1))))))

==> (infList 5)

==> (car (inflist 5))

==> (cdr (inflist 5))

==> (force (inflist 5))

==> (car (cdr (inflist 5)))

==> (car (force (cdr (inflist 5))))

==> (force (cdr (inflist 5)))