pseudo random number generator effect#6

Open

hehelego wants to merge 22 commits intologsem:mainfrom

Commits on Apr 3, 2026

PRNG gitree combinators with continunation
hehelego
committed

Commits on Apr 5, 2026

Commits on Apr 6, 2026

Commits on Apr 7, 2026

Commits on Apr 9, 2026

finish PRNG ghost theory
hehelego
committed

Commits on Apr 10, 2026

complete the adequacy and safety proofs for the PRNG lang
hehelego
committed

Commits on Apr 11, 2026

add an example GIT program with PRNG and its safety proof
hehelego
committed

Commits on Apr 17, 2026

PRNG lang gitree denotational semantics adequacy with respect to the operational semantics
hehelego
committed

Commits on May 1, 2026

parameterized over a PRNG typeclass (default seed, state update, read out, and seeding)
hehelego
committed