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.
| author |
Steve Losh <steve@stevelosh.com> |
| date |
Thu, 10 Mar 2016 18:22:56 +0000 |
| parents |
b22eb7fe2faa |
| children |
f3ed7ce70f3b |
(asdf:defsystem #:bones-test
:description "Test suite for bones."
:author "Steve Losh <steve@stevelosh.com>"
:license "MIT/X11"
:depends-on (#:bones
#:fiveam)
:serial t
:components ((:file "package-test")
(:module "test"
:components ((:file "bones")
(:file "paip")))))