DouKaku?

Lazy K で 630 byte。

Lazy K のソースに付属している Lazy K コンパイラを使って以下のソースを Lazy-K に
変形し、適当に整形しました。

(load "./lazier.scm")
(load "./prelude.scm")
(load "./prelude-numbers.scm")

(lazy-def '(pred n)
          '(lambda(f x)
             (n (lambda(a b)(b (a f))) (k x) i)))
(lazy-def '(sub32 x) '(32 pred x))

(lazy-def '(islower x)
          '(car (x cdr (97 (cons #f) (26 (cons #t) (list-of #f) )))))

(lazy-def '(title f x)
          '(cons (car x)
                 (f
                   (and (= 32 (car x)) (islower (car (cdr x)))
                        (cons (sub32 (car (cdr x))) (cdr(cdr x)))
                        (cdr x)))))
(print-as-unlambda (laze '(Y title)))