Difference between revisions of "Eta-reduction"

Revision as of 13:55, 19 May 2022

$\eta$ -reduction is to drop an abstraction over a function to simplify it.

Revision as of 13:49, 19 May 2022 (view source) Benkoo (talk \| contribs) (Created page with "[https://sookocheff.com/post/fp/eta-conversion/ eta-reduction] is to drop an abstraction over a function to simplify it.")		Revision as of 13:55, 19 May 2022 (view source) Benkoo (talk \| contribs) Newer edit →
Line 1:		Line 1:
	[https://sookocheff.com/post/fp/eta-conversion/ eta-reduction] is to drop an abstraction over a function to simplify it.		[https://sookocheff.com/post/fp/eta-conversion/ <math>\eta</math>-reduction] is to drop an abstraction over a function to simplify it.