1 665c255d 2023-08-04 jrmu (define (double procedure)
2 665c255d 2023-08-04 jrmu   (lambda (x)
3 665c255d 2023-08-04 jrmu     (procedure (procedure (x)))))