Skip to content

Instantly share code, notes, and snippets.

@giorgiosironi

giorgiosironi/gist:9012fd79a945c1433aa6

Last active August 29, 2015 14:23
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save giorgiosironi/9012fd79a945c1433aa6 to your computer and use it in GitHub Desktop.
Save giorgiosironi/9012fd79a945c1433aa6 to your computer and use it in GitHub Desktop.
Download ZIP
Generating a random sequence of up to 100 natural numbers
Raw
gistfile1.php
Generator\seq(
Generator\nat(),
Generator\pos(100)
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment