perm filename EXER.LSP[206,LSP] blob sn#240347 filedate 1976-10-16 generic text, type T, neo UTF8
(DEFPROP OY
 (LAMBDA (F)
  (LIST (LIST (QUOTE LAMBDA) (QUOTE (X)) (LIST F (QUOTE (LIST (QUOTE QUOTE) (X (LIST (QUOTE QUOTE) X))))))
        (LIST (QUOTE QUOTE)
              (LIST (QUOTE LAMBDA)
                    (QUOTE (X))
                    (LIST F (QUOTE (LIST (QUOTE QUOTE) (X (LIST (QUOTE QUOTE) X)))))))))
EXPR)

(DEFPROP Y
 (LAMBDA (F)
  (LIST (LIST (QUOTE LAMBDA) (QUOTE (X)) (LIST F (QUOTE (LIST X (LIST (QUOTE QUOTE) X)))))
        (LIST (QUOTE QUOTE)
              (LIST (QUOTE LAMBDA) (QUOTE (X)) (LIST F (QUOTE (LIST X (LIST (QUOTE QUOTE) X))))))))
EXPR)

(DEFPROP FAC
 (LAMBDA (F)
  (LIST (QUOTE LAMBDA)
        (QUOTE (X))
        (LIST (QUOTE COND)
              (QUOTE ((EQ X 0) 1))
              (LIST T (LIST (QUOTE TIMES) (LIST F (QUOTE (SUB1 X))) (QUOTE X))))))
EXPR)