X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=fun%2Ftest.icl;fp=fun%2Ftest.icl;h=0000000000000000000000000000000000000000;hb=4b62b5d397d86147e393c05b3083af74a3a0c4af;hp=d2d97a7a18ffb4b9886f786034b94955bcf7696c;hpb=e5305ee9d4290e1aa803a2e62a14f32e5cd29782;p=clean-tests.git

diff --git a/fun/test.icl b/fun/test.icl
deleted file mode 100644
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