AlphaGitHub
Source/Packages

Learning.Checked.MomentCorrection

packages/learning/src/Learning/Checked/MomentCorrection.alpha

72 lines5 declarations3.1 KiBSHA-256 61091b557e77
Download exact fileView at revisionf5034773ad4bb52133

def · lines 65–72

momentScaledEpsilonWord

Full file
65def momentScaledEpsilonWord =
66  (lambda unrestricted epsilonNumerator : Nat .
67    (lambda unrestricted epsilonDenominator : Nat .
68      (lambda unrestricted beta2Numerator : Nat .
69        (lambda unrestricted beta2Denominator : Nat .
70          (lambda unrestricted step : Nat .
71            (momentScaledRootWord epsilonNumerator epsilonDenominator
72              beta2Numerator beta2Denominator step))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.