Skip to content

Standard ML library for generating random numbers

License

Notifications You must be signed in to change notification settings

diku-dk/sml-random

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

sml-random CI

Standard ML library for generating random numbers.

Overview of MLB files

  • lib/github.com/diku-dk/sml-random/random.mlb:

    • signature RANDOM
    • structure Random

Use of the package

This library is set up to work well with the SML package manager smlpkg. To use the package, in the root of your project directory, execute the command:

$ smlpkg add github.com/diku-dk/sml-random

This command will add a requirement (a line) to the sml.pkg file in your project directory (and create the file, if there is no file sml.pkg already).

To download the library into the directory lib/github.com/diku-dk/sml-random, execute the command:

$ smlpkg sync

You can now reference the mlb-file using relative paths from within your project's mlb-files.

Notice that you can choose either to treat the downloaded package as part of your own project sources (vendoring) or you can add the sml.pkg file to your project sources and make the smlpkg sync command part of your build process.

Authors

The Random structure was originally written by Peter Sestoft for Moscow ML, based on the implementation of random numbers found in Lawrence C. Paulson's book ML for the Working Programmer, 2nd Edition, page 201.

About

Standard ML library for generating random numbers

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published