Graph

less more | at revision 6: (0) -3 +3 +10 +30 +100 tip

Add a couple more unification tests
Wed, 09 Mar 2016 11:36:04 +0000, by Steve Losh
Test the occurs check
Wed, 09 Mar 2016 11:33:07 +0000, by Steve Losh
Get some basic unification up and running
Tue, 08 Mar 2016 15:27:47 +0000, by Steve Losh

less more | at revision 6: (0) -3 +3 +10 +30 +100 tip