Incomplete sentence in README

[vanaur]

Hello,

I was reading about the type system of Cat, in the README, but it would seem that a sentence is not complete (at this section):

Each identifer represents an individual type on the stack, except for the last identifier before th

With the context, perhaps you meant the following?

... except the last identifier of the two operands of the arrow, thus representing the stack (in upper case?).

Indeed, if I understand the type system correctly, the capital letter represents the stack, and the identifiers preceding it are elements of the top of this stack: pop : ('a 'S -> 'S).

Thanks.