Cool, so Church Encoding of numbers is not needed after all. Seems much more simple to do as you describe, numbers are lists of bits. And that is how it is in c

Cool, so Church Encoding of numbers is not needed after all. Seems much more simple to do as you describe, numbers are lists of bits. And that is how it is in computer memory too. But, I thought the nodes of the tree in Tree Calculus were supposed to be "unlabeled". How can they then be booleans? Ah, a short read through the link you provided explaines it simply. Thanks.