Graph
-
Remove defstarSat, 16 Jul 2016 18:23:34 +0000, by Steve Losh
-
Remove return declarationsSat, 16 Jul 2016 17:37:17 +0000, by Steve Losh
-
Add a few more type declarationsSat, 16 Jul 2016 13:47:55 +0000, by Steve Losh
-
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