]> gitweb.factorcode.org Git - factor.git/commit
random: faster random-bits, make some things private.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 7 Feb 2014 01:54:33 +0000 (17:54 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 7 Feb 2014 01:54:33 +0000 (17:54 -0800)
commitc02fc27afc6ad99bd674bc6bb39ccaff3d0ae845
tree18e822ca31abd5b3ee75abc541e069067ca7b487
parentede21dfb56ea29e45e47f99d5e06834c9efeb29e
random: faster random-bits, make some things private.
basis/random/random-docs.factor
basis/random/random.factor