|
2daf5fb2fe92
|
Add API documentation building
|
Steve Losh |
Fri, 18 Mar 2016 13:50:04 +0000 |
|
ae2b13a9a629
|
Improve the testing infrastructure, rename find-all
|
Steve Losh |
Fri, 18 Mar 2016 12:09:36 +0000 |
|
d280326feecc
|
Add backtracking and wildcards
|
Steve Losh |
Mon, 14 Mar 2016 23:01:26 +0000 |
|
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 |