AlphaGitHub
Source/Systems

Coppelius.Build.Graph

systems/coppelius/src/Coppelius/Build/Graph.alpha

3,461 lines536 declarations124.9 KiBSHA-256 6b9f923bd170
Download exact fileView at revision3c600751929f56cd01

def · lines 1601–1613

cgRecast

Full file
the embedding's, then each layer's (one repeat: the layers are alike)
1601def cgRecast : (family NvidiaLaunchSchedule) =
1602  (cgPhase
1603    cgPhaseRecast
1604    (cgThen
1605      (cgRecastMatrix cgEmbeddingMatrix)
1606      (nvidiaAffineLaunchRepeat
1607        cgLayers
1608        (lambda unrestricted l : Nat .
1609          (cgFor
1610            cgLayerMatrices
1611            (lambda unrestricted j : Nat .
1612              (cgRecastMatrix
1613                (naturalAdd cgFirstLayerMatrix (naturalAdd (naturalMultiply l cgLayerMatrices) j)))))))))

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.