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

---
 1415/files/practicum/StdRoman.dcl | 42 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 1415/files/practicum/StdRoman.dcl

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

diff --git a/1415/files/practicum/StdRoman.dcl b/1415/files/practicum/StdRoman.dcl
new file mode 100644
index 0000000..a9756c9
--- /dev/null
+++ b/1415/files/practicum/StdRoman.dcl
@@ -0,0 +1,42 @@
+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