Hunter Swart’s Reviews > Combinators: A Centennial View > Status Update

Note paclet:guide/CombinatoryLogic in Wolfram Engine 13.2 (Specifically the left-associative functional application or \[Application] having no 'built-in meaning' given the programming approach alternate the conventional procedural and rule-based types) and the λ-calculus accorsing to an equational theory of first-class variables utilizing reductionistic, inductive typing across the resultant normal forms.