0 the seventh letter of the Greek alphabet
1 abbreviation for estimated time of arrival: the time you expect to arrive:
What's your ETA?
2 abbreviation for estimated time of arrival: the time you expect to arrive:
In order to describe the magnitude of effect for findings, eta-squared effect sizes are presented.
The introduction of recursively defined types requires some care because the combination of fixed points and the eta axiom for sum types is inconsistent.
Furthermore, the coercions themselves only produce terms that, after type erasure, are eta-expansions of the identity function.
However, we cannot prove k:t-yt without rule (eta), as explained at the end of this paragraph.
The canonical form of f is its eta expanded form, as described previously.
The optimization passes are preceded by a single round of eta-expansion to improve opportunities for inlining.
Therefore, we will adopt (eta) as an additional inference rule.
Thus, eta is never used in the source programs, but is only required internally, for equational reasoning.
