Def IO.runRand

Modification history

2023-12-12 07:55

Mathlib/Control/Random.lean

feat(Mathlib/Control/Random): enhance to a monad transformer (#8876) …

Modified IO.runRand View on Github →

2022-03-08 09:05

Mathlib/Control/Random.lean

feat: Implement Control.Random without streams (#218)

Added IO.runRand View on Github →