test/bones.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.
author Steve Losh <steve@stevelosh.com>
date Thu, 10 Mar 2016 18:22:56 +0000
parents d08be7892816
children 5c914fbcb042
(in-package #:bones-test)

(def-suite :bones)
(in-suite :bones)