diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-09-04 16:24:38 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-09-04 16:24:38 -0400 |
| commit | ddf99fe01eaefb0b6f838f8111287141a946be88 (patch) | |
| tree | 9e468b490e57ee0223a4becfd79acce43bd1a39e /spec | |
| parent | e623a2fcafdf5fd6c8d31570175284805c4f34d9 (diff) | |
Specify that •rand is randomly initialized if possible
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/system.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/system.md b/spec/system.md index 81802c83..b62db9e5 100644 --- a/spec/system.md +++ b/spec/system.md @@ -210,7 +210,7 @@ More accurately the modifier `•_maxTime_` *may* fail if execution of `𝔽` ta ## Random generation -`•MakeRand` initializes a deterministic pseudorandom number generator with seed value `𝕩`. `•rand`, if it exists, is a globally accessible generator initialized at first use. A random generator has the following member functions: +`•MakeRand` initializes a deterministic pseudorandom number generator with seed value `𝕩`. `•rand`, if it exists, is a globally accessible generator initialized at first use; this initialization should use randomness from an outside source if available. A random generator has the following member functions: | Name | Summary |-----------|------------------------------ |