summaryrefslogtreecommitdiff
path: root/files/practicum/StdBool2.icl
diff options
context:
space:
mode:
authorCamil Staps2016-02-02 19:24:50 +0100
committerCamil Staps2016-02-02 19:24:50 +0100
commita7d7542dc646a5fd124ef71e71ce260889f1701b (patch)
tree04ed89503bbb3cc9933273a1326a53ca724c3492 /files/practicum/StdBool2.icl
parentweek6 camil: working positioning of lines by putting empties at left and righ... (diff)
Moved to 1415 directoryHEADmaster
Diffstat (limited to 'files/practicum/StdBool2.icl')
-rw-r--r--files/practicum/StdBool2.icl27
1 files changed, 0 insertions, 27 deletions
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]
- )