Commits

Robert Smith committed 3731226

Add some notes.

Comments (0)

Files changed (1)

symbolic-function.lisp

   "Is the symbolic function SF nullary?"
   (= 1 (length (symbolic-function.parameters sf))))
 
+;;; XXX: This should probably make a copy/new function.
 (defun alpha-convert (sf new-var &optional old-var)
   (unless (nullary-function-p sf)
     (with-slots (parameters expression) sf
             (nsublis subs parameters)
             (nsublis subs expression)))))
   sf)
+
+;;; XXX: add substitution and beta reduction