GaloisInc/cryptol — pull request #91 by TomMD (2014-09-06 00:44:03+00:00)
Title: Use tf-random for higher-quality randoms.

Notice the randoms from StdGen are well-known to be quite bad. For
example, see comments in issue #86.