AlphaGitHub
Source/Packages

Learning.ScaledGradientUpdate

packages/learning/src/Learning/ScaledGradientUpdate.alpha

111 lines5 declarations5.6 KiBSHA-256 983cc19e0d9e
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 19–25

subtractScaledUpdate

Full file
19def subtractScaledUpdate =
20  (lambda erased value : Type 0 .
21    (lambda unrestricted subtract : (pi unrestricted left : value . (pi unrestricted right : value . value)) .
22      (lambda unrestricted multiply : (pi unrestricted left : value . (pi unrestricted right : value . value)) .
23        (lambda unrestricted rate : value .
24          (lambda unrestricted parameter : value .
25            (lambda unrestricted update : value . (subtract parameter (multiply rate update))))))))

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.