Append list length vs. diff-list length

Is it correct to say that an append list:

append-list & [ LIST < [] > ]

is strictly of length one but it can be appended to, unlike a diff-list of length one? (I know we talked about this already, apologies.)

Nevermind; I say it in my own paper :slight_smile:. (I mean, hopefully that’s not wrong!)

1 Like