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 |