You are here: start / fuss / lambda_calculus

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
fuss:lambda_calculus [2022/04/19 08:28] – external edit 127.0.0.1fuss:lambda_calculus [2022/08/01 05:20] (current) – [η-Reduction and η-Expansion] office
Line 101: Line 101:
 f &\xrightarrow{\eta-expand: f}& \lambda x.f(x) f &\xrightarrow{\eta-expand: f}& \lambda x.f(x)
 \end{eqnarray*} \end{eqnarray*}
 +
 +====== Aggregators ======
 +
 +{{indexmenu>/fuss/lambda_calculus/functional_programming/aggreagators}}
fuss/lambda_calculus.txt · Last modified: 2022/08/01 05:20 by office
You are here: start / fuss / lambda_calculus

Access website using Tor Access website using i2p Wizardry and Steamworks PGP Key


For the contact, copyright, license, warranty and privacy terms for the usage of this website please see the contact, license, privacy, copyright.