|
|
|
|
|
by kazinator
367 days ago
|
|
In this context it just means "one parameter function". It looks like every apparently free variable in a Klong brace expression is actually bound as a function parameter. This is so in basic algebra in that we can think of, say, x^2 + y^2 as a two parameter function, even without writing out the full f(x, y) = x^2 + y^2 notation with the f(x, y) head. A two parameter function would be called "dyadic" in the jargon which calls one argument functions "monadic". |
|