1 files changed, 25 insertions, 0 deletions
diff --git a/fp2/week3/mart/NotatieDynamics.icl b/fp2/week3/mart/NotatieDynamics.icl
new file mode 100644
index 0000000..da90675
--- /dev/null
+++ b/fp2/week3/mart/NotatieDynamics.icl
@@ -0,0 +1,25 @@
+module NotatieDynamics
+
+import StdEnv
+import StdDynamic, StdDynamicFileIO
+
+Start = f4 f3
+
+f1 :: Int Int -> Int
+f1 (x :: Int) y = x + y
+
+f2 :: Bool a a -> a
+f2 (b :: Bool) (e1 :: a) (e2 :: a) = dynamic if b e1 e2 :: a
+
+f3 :: [Int]
+f3 = dynamic map fib [1 ..]
+
+fib 0 = 1
+fib 1 = 1
+fib n = fib (n-1) + fib (n-2)
+
+f4 :: [Int] -> [Int]
+f4 (xs :: [Int]) = take 10 xs
+
+f5 :: [Int] -> [Int]
+f5 = f4 f3