1078def sfpSoftmax = (lambda unrestricted scores : (pi unrestricted nt : Nat . Nat) .
1079 (sfpScaleRow scores 0 saWait2 (sfpScaleRow scores 1 saWaitNone
1080 (sfpRowMax scores 0 (sfpRowMax scores 1
1081 (saRescaleFactor 0 (saRescaleFactor 1
1082 (sfpExponentials scores 0 (sfpExponentials scores 1
1083 (saRescaleOutput 0 (saRescaleOutput 1
1084 (sfpPackP scores sm86ProgramEmpty))))))))))))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.