diff options
Diffstat (limited to 'fp2/week1/mart/RandomGetallen.dcl')
| -rw-r--r-- | fp2/week1/mart/RandomGetallen.dcl | 7 |
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]
|