Closed padarom closed 8 years ago
o_O
I actually forgot. I will get back to you when I remember. It sort of looks like just a scrapped line that you can just ignore, but I can't check right now.
Maybe if it starts with a nilad, start with the nilad?
Likely not, because it wouldn't be a dyadic chain to start with. It'd be covered by the "Niladic chains" section.
Okay, I fixed it. Dyadic chains can start with a leading constant! And indeed, the sentence was supposed to say that, if they do, you use that one and throw away the left argument initially.
I have noticed that in the tutorial for Dyadic Chains there's an incomplete sentence in the section What's the starting value?:
I am not proficient enough in this language to know what this is supposed to say, so I can't fix it myself.