Graph
-
Split functor cells into separate functor and arity cellsSat, 16 Jul 2016 01:34:04 +0000, by Steve Losh
-
Constant can just use the functor symbol directlyFri, 15 Jul 2016 23:12:18 +0000, by Steve Losh
-
Remove unused argumentsFri, 15 Jul 2016 22:02:11 +0000, by Steve Losh