AlphaGitHub
Source/Packages

Learning.IndependentState

packages/learning/src/Learning/IndependentState.alpha

143 lines10 declarations5.7 KiBSHA-256 8f18c85bfe35
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 35–43

independentAssignments

Full file
35def independentAssignments =
36  (lambda erased slots : Nat .
37    (lambda unrestricted system : (family IndependentStateSystem slots) .
38      (eliminate
39        IndependentStateSystem
40        (lambda unrestricted current : (family IndependentStateSystem slots) .
41          (family StdList (family PointwiseAssignment StdU64 slots)))
42        system
43        (branch IndependentStateSystemOf persistent program initial . program))))

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.