test/run.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.

(let ((*standard-output* (make-broadcast-stream)))
  (ql:quickload "bones-test"))


(5am:run! :bones)
(5am:run! :bones.paip)