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

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

diff --git a/files/practicum/StdRoman.dcl b/files/practicum/StdRoman.dcl
deleted file mode 100644
index a9756c9..0000000
--- a/files/practicum/StdRoman.dcl
+++ /dev/null
@@ -1,42 +0,0 @@
-definition module StdRoman
-
-import RomeinsGetal
-import StdOverloaded
-
-instance +				Roman
-
-instance -  			Roman
-
-instance zero			Roman
-
-instance *  			Roman
-
-instance /				Roman
-instance one			Roman
-
-
-instance ^				Roman
-instance abs			Roman
-instance sign			Roman
-instance ~				Roman
-
-instance ==				Roman
-instance <  			Roman
-instance isEven 		Roman	// True if arg1 is an even number
-instance isOdd			Roman	// True if arg1 is an odd  number
-
-class toRoman a :: !a -> Roman
-instance toRoman		Char
-instance toRoman		Int
-instance toRoman		Real
-instance toRoman		{#Char}
-
-class fromRoman a :: !Roman -> a
-instance fromRoman		Int
-instance fromRoman		Char
-instance fromRoman		Real
-instance fromRoman		{#Char}
-
-instance rem Roman
-instance gcd Roman
-instance lcm Roman
-- 
cgit v1.2.3