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 |