Commit Log

commit description author date
f1ef8f905a1d Split functor cells into separate functor and arity cells Steve Losh Sat, 16 Jul 2016 01:34:04 +0000
ec2fab887b0f Constant can just use the functor symbol directly Steve Losh Fri, 15 Jul 2016 23:12:18 +0000
c4dd0b6c3a91 Remove unused arguments Steve Losh Fri, 15 Jul 2016 22:02:11 +0000