.

[clean-tests.git] / funcdeps / test.icl

diff --git a/funcdeps/test.icl b/funcdeps/test.icl
deleted file mode 100644 (file)
index f9ef764..0000000
--- a/funcdeps/test.icl
+++ /dev/null
@@ -1,22 +0,0 @@
-module test
-
-import StdMisc
-
-:: Zero = Zero
-:: Succ a = Succ a
-:: Ar3 a b c :== (a -> b -> c)
-
-class succ a ~b :: a -> b
-instance succ Zero (Succ Zero) where succ Zero = Succ Zero
-instance succ a (Succ a) where succ a = Succ a
-
-class plus a b | succ a b :: a b
-instance plus Zero a a
-where
-       plus a b = b
-instance plus (Succ a) b c | plus a (Succ b) c
-where
-       plus (Succ a) b = plus a (Succ b)
-
-Start :: Int
-Start = 42