From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 files/practicum/Random.dcl | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 files/practicum/Random.dcl

(limited to 'files/practicum/Random.dcl')

diff --git a/files/practicum/Random.dcl b/files/practicum/Random.dcl
deleted file mode 100644
index cc4f646..0000000
--- a/files/practicum/Random.dcl
+++ /dev/null
@@ -1,22 +0,0 @@
-definition module Random
-
-//	**************************************************************************************************
-//
-//	General utility for random number generation.
-//
-//	This module has been written in Clean 1.3.2 and uses the Clean Standard Object I/O library 1.2
-//	
-//	**************************************************************************************************
-
-import StdTime
-
-::	RandomSeed
-
-nullRandomSeed  :: RandomSeed
-//	nullRandomSeed generates a useless RandomSeed (random nullRandomSeed = (0,nullRandomSeed)).
-
-getNewRandomSeed:: !*env -> (!RandomSeed, !*env) | TimeEnv env
-//	GetNewRandomSeed generates a useful RandomSeed, using the current time.
-
-random          :: !RandomSeed -> .(!Int, !RandomSeed)
-//	Given a RandomSeed, Random generates a random number and a new RandomSeed.
-- 
cgit v1.2.3