define.lisp

;; LISP-2 acting like LISP-1 (by Ron Garrett)

(defmacro define (name&args &body body)
  (let ((name (car name&args))
        (args (cdr name&args)))
    `(defun ,name ,args
       (flet ,(mapcar (lambda (arg) `(,arg (&rest args) (apply ,arg args)))
                      args)
         ,@body))))
    
? (DEFINE (F X) (X 1))
F
? (f '1+)
2