|
5ea3d706d089
|
Add scratch.lisp to .hgignore.
|
Steve Losh |
Mon, 14 Mar 2016 22:59:10 +0000 |
|
5bb73a585f2c
|
Finish basic proving
|
Steve Losh |
Thu, 10 Mar 2016 18:22:56 +0000 |
|
1340243d4843
|
Start on the logic database
|
Steve Losh |
Thu, 10 Mar 2016 15:14:48 +0000 |
|
49191daa42d0
|
Add variable/binding substitution
|
Steve Losh |
Wed, 09 Mar 2016 11:48:07 +0000 |
|
52045b30aab0
|
Add a couple more unification tests
|
Steve Losh |
Wed, 09 Mar 2016 11:36:04 +0000 |
|
a6a6f6361af3
|
Test the occurs check
|
Steve Losh |
Wed, 09 Mar 2016 11:33:07 +0000 |
|
d08be7892816
|
Get some basic unification up and running
|
Steve Losh |
Tue, 08 Mar 2016 15:27:47 +0000 |