Commit Log

commit description author date
6c90a65137d9 Remove defstar Steve Losh Sat, 16 Jul 2016 18:23:34 +0000
5593ae4bcb5c Remove return declarations Steve Losh Sat, 16 Jul 2016 17:37:17 +0000
2a2765e8f0f5 Add a few more type declarations Steve Losh Sat, 16 Jul 2016 13:47:55 +0000
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