]> gitweb.factorcode.org Git - factor.git/commit
math.extras: fix weighted-random by using float random
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 22 Jan 2023 15:34:07 +0000 (07:34 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 22 Jan 2023 15:34:07 +0000 (07:34 -0800)
commita7828dc90c5b12cd9df2657758c3965e450295b8
treebf8f72b040d9bf6a26645b86b8acb0a1af4fe842
parent953ab444a52a1792bb5949e934b5d1c90cbad01d
math.extras: fix weighted-random by using float random
extra/math/extras/extras.factor