From 379b6353396ca2401241d714733d570629835ffe Mon Sep 17 00:00:00 2001
From: Mart Lubbers
Date: Fri, 6 Feb 2015 08:39:37 +0100
Subject: added practicum files, updated gitignore

---
 files/practicum/LijstOverloading.icl | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 files/practicum/LijstOverloading.icl

(limited to 'files/practicum/LijstOverloading.icl')

diff --git a/files/practicum/LijstOverloading.icl b/files/practicum/LijstOverloading.icl
new file mode 100644
index 0000000..5d40186
--- /dev/null
+++ b/files/practicum/LijstOverloading.icl
@@ -0,0 +1,20 @@
+implementation module LijstOverloading
+
+import StdEnv, LijstGenerator
+
+instance zero [a] | zero a where 
+instance one  [a] | one  a where 
+instance ~    [a] | ~    a where 
+instance +    [a] | +    a where 
+instance -    [a] | -    a where 
+instance *    [a] | *    a where 
+instance /    [a] | /    a where 
+
+Start  = (test [1,2,3], test [1.0,2.0,3.0])
+
+test a = ( zero + a == a && a == a + zero
+         , a - zero == a && a == ~ (zero - a)
+         ,  one * a == a && a == a * one
+         ,  a / one == a
+         ,  ~ (~ a) == a
+         )
-- 
cgit v1.2.3