diff --git a/AlgebraicDataflowArchitectureModel/models/Algo.model b/AlgebraicDataflowArchitectureModel/models/Algo.model
deleted file mode 100644
index 328f11a..0000000
--- a/AlgebraicDataflowArchitectureModel/models/Algo.model
+++ /dev/null
@@ -1,12 +0,0 @@
-channel turnA{
-	ref handsB(b:List, drawA(target:Int, guess:Int, b, d))
-	ref deck(d:List, drawA(target, guess, b, d))
-	out handsA(a:List, drawA(target, guess, b, d)) = if(eq(get(b, target), guess), cons(tuple(fst(head(d)), false), a), cons(tuple(fst(head(d)), true), a))
-	out handsB(a:List, drawA(target, guess, b, d)) = if(eq(get(b, target), guess), set(a, target, tuple(fst(get(a, target)), true)), a)
-	out deck(t:List, drawA(target, guess, b, d)) = tail(d)	
-}
-channel turnAA{
-	ref handsB(b:List, selectA(target:Int, guess:Int, attacker:Int, b))
-	out handsA(a:List, selectA(target, guess, attacker, b)) = if(get(b, target) == guess, a, set(a, attacker, tuple(fst(get(a, attacker)), true)))
-	out handsB(a:List, selectA(target, guess, attacker, b)) = if(get(b, target) == guess, set(a, target, tuple(fst(get(a, target)), true)), a)	
-}
\ No newline at end of file
diff --git a/AlgebraicDataflowArchitectureModel/models/Bug.model b/AlgebraicDataflowArchitectureModel/models/Bug.model
deleted file mode 100644
index 1ba4f5e..0000000
--- a/AlgebraicDataflowArchitectureModel/models/Bug.model
+++ /dev/null
@@ -1,7 +0,0 @@
-channel CIO{
-    out aUa(a, input(x:Int)) = x
-}
-channel C1{
-    in aUa(a, update(x)) = x
-    out aUb(b, update(x)) = x + 3
-}
\ No newline at end of file
diff --git a/AlgebraicDataflowArchitectureModel/models/Hello.model b/AlgebraicDataflowArchitectureModel/models/Hello.model
deleted file mode 100644
index 38759d7..0000000
--- a/AlgebraicDataflowArchitectureModel/models/Hello.model
+++ /dev/null
@@ -1,3 +0,0 @@
-channel cio {
-	 out r1(x1:Int,set(x2)) = x2
-}
diff --git a/AlgebraicDataflowArchitectureModel/models/Hello2.model b/AlgebraicDataflowArchitectureModel/models/Hello2.model
deleted file mode 100644
index 67eb1c0..0000000
--- a/AlgebraicDataflowArchitectureModel/models/Hello2.model
+++ /dev/null
@@ -1,3 +0,0 @@
-channel cio {
-	 out r1(x1:Int,set(x2:Int)) = x2:Int
-}
diff --git a/AlgebraicDataflowArchitectureModel/models/HelloWorld.model b/AlgebraicDataflowArchitectureModel/models/HelloWorld.model
deleted file mode 100644
index 2a5fa1e..0000000
--- a/AlgebraicDataflowArchitectureModel/models/HelloWorld.model
+++ /dev/null
@@ -1,7 +0,0 @@
-channel cio {
-	 out r1(x1:Int,set(x2:Int)) = x2:Int
-}
-channel c2 {
-	 in r1(x1:Int,update(x2:Int)) = x2:Int
-	 out r2(y1:Int,update(x2:Int)) = (x2:Int+1)
-}
diff --git a/AlgebraicDataflowArchitectureModel/models/Test.model b/AlgebraicDataflowArchitectureModel/models/Test.model
deleted file mode 100644
index 0a7daa8..0000000
--- a/AlgebraicDataflowArchitectureModel/models/Test.model
+++ /dev/null
@@ -1,9 +0,0 @@
-channel CIO {
-    out a(x:Int, set(n:Int)) = n
-}
-
-channel C1 {
-	in a(x, update(y)) = y
-    out b(z, update(y)) = y + 1
-    out c(v, update(y)) = v + y
-}
\ No newline at end of file