AlphaGitHub
Source/Systems

Bob.Prediction

systems/bob/src/Bob/Prediction.alpha

132 lines21 declarations4.9 KiBSHA-256 cb7531dfdc83
Download exact fileView at revision426597bda5753d86c4

def · lines 77–88

bobGreedyIndex

Full file
77def bobGreedyIndex =
78  (lambda unrestricted logits : (family StdList F32) .
79    (stdListFold
80      F32
81      (pi unrestricted position : Nat . (family BobArgmaxState))
82      (lambda unrestricted logit : F32 .
83        (lambda unrestricted rest : (pi unrestricted position : Nat . (family BobArgmaxState)) .
84          (lambda unrestricted position : Nat .
85            (bobArgmaxStep position logit (rest (succ position))))))
86      (lambda unrestricted position : Nat . (constructor BobArgmaxState BobArgmaxEmpty))
87      logits
88      0))

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.