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

---
 1415/files/practicum/StdBool2.icl | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 1415/files/practicum/StdBool2.icl

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

diff --git a/1415/files/practicum/StdBool2.icl b/1415/files/practicum/StdBool2.icl
new file mode 100644
index 0000000..9efebc4
--- /dev/null
+++ b/1415/files/practicum/StdBool2.icl
@@ -0,0 +1,27 @@
+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