Commit Log

commit description author date
49191daa42d0 Add variable/binding substitution Steve Losh 2016-03-09
52045b30aab0 Add a couple more unification tests Steve Losh 2016-03-09
a6a6f6361af3 Test the occurs check Steve Losh 2016-03-09
d08be7892816 Get some basic unification up and running Steve Losh 2016-03-08
b22eb7fe2faa Set up a clean namespace for the initial PAIP implementation Steve Losh 2016-03-08
5e0cca5174a8 More 99P Steve Losh 2016-03-08
22e5e1250898 GA the docs Steve Losh 2016-03-07
c60cac27a0a7 Initial commit Steve Losh 2016-03-05
No more entries