hg.stevelosh.com > temperance

Commit Log

fewer more | at revision 11: (0) -10 -6 +6 +10 +30 +100 tip
commit description author date
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
fewer more | at revision 11: (0) -10 -6 +6 +10 +30 +100 tip