1 files changed, 21 insertions, 0 deletions
diff --git a/files/practicum/NotatieZF.icl b/files/practicum/NotatieZF.icl
new file mode 100644
index 0000000..8778794
--- /dev/null
+++ b/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]