1 files changed, 0 insertions, 37 deletions
diff --git a/fp1/week2/camil/VectorOverloading.icl b/fp1/week2/camil/VectorOverloading.icl
deleted file mode 100644
index 4c9c84a..0000000
--- a/fp1/week2/camil/VectorOverloading.icl
+++ /dev/null
@@ -1,37 +0,0 @@
-/**
- * Mart Lubbers, s4109503
- * Camil Staps, s4498062
- */
-
-implementation module VectorOverloading
-
-import StdEnv
-
-:: Vector2 a = {x0 :: a, x1 :: a}
-
-instance ==   (Vector2 a) | == a   where 
-	== a b = a.x0 == b.x0 && a.x1 == b.x1
-instance zero (Vector2 a) | zero a where 
-	zero = {x0 = zero, x1 = zero}
-instance one  (Vector2 a) | one a  where 
-	one = {x0 = one, x1 = one}
-instance ~    (Vector2 a) | ~ a    where 
-	~ a = {x0 = ~a.x0, x1 = ~a.x1}
-instance +    (Vector2 a) | + a    where 
-	+ a b = {x0 = a.x0 + b.x0, x1 = a.x1 + b.x1}
-instance -    (Vector2 a) | - a    where 
-	- a b = {x0 = a.x0 - b.x0, x1 = a.x1 - b.x1}
-instance *    (Vector2 a) | * a    where 
-	* a b = {x0 = a.x0 * b.x0, x1 = a.x1 * b.x1}
-instance /    (Vector2 a) | / a    where 
-	/ a b = {x0 = a.x0 / b.x0, x1 = a.x1 / b.x1}
-
-Start  = test {x0=1,x1=2}
-
-test a = ( zero + a == a    && a    == a + zero
-         , a - zero == a    && a    == ~ (zero - a)
-         ,  one * a == a    && a    == a * one
-         , zero * a == zero && zero == a * zero
-         ,  a / one == a
-         ,  ~ (~ a) == a
-         )