Robert Smith avatar Robert Smith committed 3731226

Add some notes.

Comments (0)

Files changed (1)


   "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)))))
+;;; XXX: add substitution and beta reduction
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.