1 files changed, 0 insertions, 20 deletions
diff --git a/files/practicum/LijstOverloading.icl b/files/practicum/LijstOverloading.icl
deleted file mode 100644
index 5d40186..0000000
--- a/files/practicum/LijstOverloading.icl
+++ /dev/null
@@ -1,20 +0,0 @@
-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
-         )