-

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

diff --git a/fun/test.icl b/fun/test.icl
deleted file mode 100644 (file)
index d2d97a7..0000000
--- a/fun/test.icl
+++ /dev/null
@@ -1,21 +0,0 @@
-module test
-
-import StdEnv
-
-Start = fun 42 [0, 1, 2, 42]
-
-(oo) infixr 9 :: ((a -> b) (c d -> a) c d -> b)
-(oo) = (o) o (o)
-
-(ooo) infixr 9 :: ((a -> b) (c d e -> a) c d e -> b)
-(ooo) = (o) o (o) o (o)
-
-(oooo) infixr 9 :: ((a -> b) (c d e -> a) c d e -> b)
-(oooo) = (o) o (o) o (o) o (o)
-
-//(on) infixr 9// :: (a -> b) -> (c -> a) c -> b)
-//(on) n = fold [(o)  = (o)
-//(on) n = (o) o ((on) (n-1))
-
-//fun = fmap not isMember 
-fun = fmap (fmap not) isMember