Assertion: argument's function | /r/HasAspect | exactly one parameter
Facets:
value: in these languages
type: LOCATION
value: in lambda calculus
type: OTHER
Source sentences:
text: In lambda calculus, each function has exactly one parameter.
text: In these languages, every function has exactly one parameter, and what may look like the definition of a function of multiple parameters, is actually syntactic sugar for the definition of a function that returns a function, etc.