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/support.dcl | 36 ------------------------------------
 1 file changed, 36 deletions(-)
 delete mode 100644 files/practicum/support.dcl

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

diff --git a/files/practicum/support.dcl b/files/practicum/support.dcl
deleted file mode 100644
index c96ece6..0000000
--- a/files/practicum/support.dcl
+++ /dev/null
@@ -1,36 +0,0 @@
-definition module support
-
-import StdEnv, StdIO
-
-::	Pos							// A position
- =	{	rx		:: !Real		// 0.0 <= rx <= 1.0
- 	,	ry		:: !Real		// 0.0 <= ry <= 1.0
- 	}
-::	Vel							// A velocity
- =	{	v0		:: !Real		// -1.0 <= v0 <= 1.0
- 	,	v1		:: !Real		// -1.0 <= v1 <= 1.0
- 	}
-
-toPoint2		:: Size Pos -> Point2
-fromPoint2		:: Size Point2 -> Pos
-
-circle 			:: Int -> Oval
-
-movePos			:: Vel Pos -> Pos
-
-instance zero Pos
-instance zero Vel
-instance + Pos
-instance - Pos
-instance + Vel
-instance - Vel
-
-class scale a	:: !Real !a -> a
-class toVel a	:: !a -> Vel
-class dist  a	:: !a !a -> Real
-
-instance scale Pos
-instance scale Vel
-instance toVel Pos
-instance dist Pos
-instance dist Real
-- 
cgit v1.2.3