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 |
c4dd0b6c3a91
|
Remove unused arguments
|
Steve Losh |
Fri, 15 Jul 2016 22:02:11 +0000 |