suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

name variable consistently

Browse Source
This commit is contained in:
Robby Findler 2014-10-16 19:36:09 -05:00
parent 66e5a246c4
commit 122314ca27
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt
View File

@ -383,8 +383,8 @@
(random-natural/no-mean prob-of-zero))) (random-natural/no-mean prob-of-zero)))
;; random-natural/no-mean : [0,1] -> Nat ;; random-natural/no-mean : [0,1] -> Nat
(define (random-natural/no-mean prob-zero) (define (random-natural/no-mean prob-of-zero)
(define x (sample (geometric-dist prob-zero))) (define x (sample (geometric-dist prob-of-zero)))
(define m1 (expt 2 (exact-floor x))) (define m1 (expt 2 (exact-floor x)))
(define m0 (quotient m1 2)) (define m0 (quotient m1 2))
(random-integer m0 m1)) (random-integer m0 m1))