src/make-utilities.lisp @ 5bb73a585f2c

Finish basic proving

I gave up on making the renameless unification work because I'm just too dumb to
understand it.  Gonna throw this all away when I hit the WAM book anyhow, so
it's not worth wasting time on.  Maybe I'll come back to it later if I have
time.

(ql:quickload 'quickutil)

(qtlc:save-utils-as "utils.lisp"
                    :utilities '(:define-constant
                                 :set-equal
                                 :curry)
                    :package "BONES.UTILS")