package-test.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.

(defpackage #:bones-test
  (:use #:cl #:5am
        #:bones))

(defpackage #:bones-test.paip
  (:use #:cl #:5am
        #:bones.utils
        #:bones.paip)
  ; kill me
  (:shadowing-import-from #:5am #:fail))