hg.stevelosh.com > temperance

Commit Log

fewer more | at revision 7: (0) -6 +6 +10 +30 +100 tip
commit description author date
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
b22eb7fe2faa Set up a clean namespace for the initial PAIP implementation Steve Losh Tue, 08 Mar 2016 12:31:44 +0000
5e0cca5174a8 More 99P Steve Losh Tue, 08 Mar 2016 12:16:50 +0000
fewer more | at revision 7: (0) -6 +6 +10 +30 +100 tip