summaryrefslogtreecommitdiff
path: root/fp2/week1/mart/RandomGetallen.dcl
diff options
context:
space:
mode:
authorMart Lubbers2015-04-21 14:25:25 +0200
committerMart Lubbers2015-04-21 14:25:25 +0200
commit892075a5f701177235c0296c28899563836b42e2 (patch)
tree0790b9518f7aac9bfe732ce030b4f467f5045229 /fp2/week1/mart/RandomGetallen.dcl
parentAdded s-numbers (diff)
rare zooi
Diffstat (limited to 'fp2/week1/mart/RandomGetallen.dcl')
-rw-r--r--fp2/week1/mart/RandomGetallen.dcl7
1 files changed, 7 insertions, 0 deletions
diff --git a/fp2/week1/mart/RandomGetallen.dcl b/fp2/week1/mart/RandomGetallen.dcl
new file mode 100644
index 0000000..66a2c6c
--- /dev/null
+++ b/fp2/week1/mart/RandomGetallen.dcl
@@ -0,0 +1,7 @@
+definition module RandomGetallen
+
+import Random
+
+random_n :: Int RandomSeed -> ([Int],RandomSeed)
+random_inf :: RandomSeed -> [Int]
+//shuffle :: [a] RandomSeed -> [a]