From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 files/practicum/StdBool2.icl | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 files/practicum/StdBool2.icl

(limited to 'files/practicum/StdBool2.icl')

diff --git a/files/practicum/StdBool2.icl b/files/practicum/StdBool2.icl
deleted file mode 100644
index 9efebc4..0000000
--- a/files/practicum/StdBool2.icl
+++ /dev/null
@@ -1,27 +0,0 @@
-implementation module StdBool2
-
-import StdEnv
-
-lift0					:: // meest algemene type
-lift0 f          a		= f a
-
-lift1					:: // meest algemene type
-lift1 f g1       a		= f (g1 a)
-
-lift2					:: // meest algemene type
-lift2 f g1 g2    a		= f (g1 a) (g2 a)
-
-lift3					:: // meest algemene type
-lift3 f g1 g2 g3 a		= f (g1 a) (g2 a) (g3 a)
-
-instance ~~  Bool        where ...
-instance ||| Bool        where ...
-instance &&& Bool        where ...
-
-instance ~~  (a -> Bool) where ...
-instance ||| (a -> Bool) where ...
-instance &&& (a -> Bool) where ...
-
-Start = ( filter ((<) 3 &&& (>) 8) [1 .. 10]
-        , filter (~~ ((==) 5))     [1 .. 10]
-        )
-- 
cgit v1.2.3