Closed chrismwendt closed 10 years ago
Since application has fixed arity (2), a single symbol can be used to indicate precedence. For example:
K (K K)
K ^K K
Since changing the internal representation of a Term in 1bd49484, Application now has variable arity.
Term
Since application has fixed arity (2), a single symbol can be used to indicate precedence. For example:
K (K K)
can be writtenK ^K K