Difference between revisions of "Eta-reduction"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
[https://sookocheff.com/post/fp/eta-conversion/ <math>\eta</math>-reduction] is | [https://sookocheff.com/post/fp/eta-conversion/ <math>\eta</math>-reduction] is the sequential composition of [[S-expression]]s, so that it creates a new function out of a sequence of two consecutive [[S-expression]]s. | ||
Revision as of 04:14, 20 May 2022
-reduction is the sequential composition of S-expressions, so that it creates a new function out of a sequence of two consecutive S-expressions.
