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