diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-11-11 15:54:19 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-11-11 15:54:19 -0800 |
commit | 6d007fda037331e7761d2a9ed3a2e435131daf7e (patch) | |
tree | 656aa7fe284b2b11c01f0389fe81f1b31025ce4e /html/068random.mu.html | |
parent | c9f920da6e6b3e7049f078fea35e08256cae7c5b (diff) | |
download | mu-6d007fda037331e7761d2a9ed3a2e435131daf7e.tar.gz |
3667
Diffstat (limited to 'html/068random.mu.html')
-rw-r--r-- | html/068random.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/068random.mu.html b/html/068random.mu.html index 05765f4e..ae1f7596 100644 --- a/html/068random.mu.html +++ b/html/068random.mu.html @@ -38,7 +38,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="muControl">break-if</span> generator <span class="Comment"># generator is 0? use real random-number generator</span> result <span class="Special"><-</span> real-random - <span class="muControl">reply</span> result, <span class="Constant">0/false</span> + <span class="muControl">return</span> result, <span class="Constant">0/false</span> <span class="Delimiter">}</span> result, fail?, generator <span class="Special"><-</span> read generator ] |