Revision as of 02:59, 25 June 2007 edit 24.61.13.7 (talk) No edit summary ← Previous edit		Revision as of 03:00, 25 June 2007 edit undo 24.61.13.7 (talk) No edit summary Next edit →
Line 4: :A supercombinator, ''S'' of arity ''n'' is a [[lambda]] expression of the form :λx<sub>1</sub>.λx<sub>2</sub>...λx<sub>n</sub>.''E'' :where ''E'' is not a lambda abstraction, such that: :# ''S'' has no free variables.

Supercombinator: Difference between revisions