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/NotatieZF.icl | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 1415/files/practicum/NotatieZF.icl

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

diff --git a/1415/files/practicum/NotatieZF.icl b/1415/files/practicum/NotatieZF.icl
new file mode 100644
index 0000000..8778794
--- /dev/null
+++ b/1415/files/practicum/NotatieZF.icl
@@ -0,0 +1,21 @@
+module NotatieZF
+
+import StdEnv
+
+g1 :: // meest algemene type
+g1 as bs = [(a,b) \\ a <- as, b <- bs]
+
+g2 :: // meest algemene type
+g2 as bs = [(a,b) \\ a <- as & b <- bs]
+
+g3 :: // meest algemene type
+g3 as bs = [(a,b) \\ a <- as, b <- bs | a <> b]
+
+g4 :: // meest algemene type
+g4 as bs = [a \\ a <- as, b <- bs | a == b]
+
+g5 :: // meest algemene type
+g5 xss = [x \\ xs <- xss, x <- xs]
+
+g6 :: // meest algemene type
+g6 a xs = [i \\ i <- [0 ..] & x <- xs | a == x]
-- 
cgit v1.2.3