AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.AdamWHalfSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/AdamWHalfSM86.alpha

428 lines73 declarations26.3 KiBSHA-256 9692515bc485
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 354–358

ahAssembleFrom

Full file
354def ahAssembleFrom = (lambda unrestricted prologue : (pi unrestricted iterations : Nat . (pi unrestricted tail : (family SM86Program) . (family SM86Program))) .
355  (lambda unrestricted finish : (pi unrestricted piece : (family SM86Program) . (family SM86Program)) .
356  (lambda unrestricted looped : Nat .
357  (lambda unrestricted quads : Nat . (lambda unrestricted stride : Nat .
358    (ahAssembleBody prologue (ahBody quads) finish looped quads stride))))))

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.