aboutsummaryrefslogtreecommitdiff
path: root/fib_ltI.icl
diff options
context:
space:
mode:
authorCamil Staps2021-01-07 13:49:59 +0100
committerCamil Staps2021-01-07 13:49:59 +0100
commit5e0696355c0022693e09e4e329f60cca6eba82a9 (patch)
treeb7a85aa6826e0049dc34bbc8c465ca5d997124da /fib_ltI.icl
Initial commit: fib (eqI_b and ltI version); nfib
Diffstat (limited to 'fib_ltI.icl')
-rw-r--r--fib_ltI.icl11
1 files changed, 11 insertions, 0 deletions
diff --git a/fib_ltI.icl b/fib_ltI.icl
new file mode 100644
index 0000000..9b9e879
--- /dev/null
+++ b/fib_ltI.icl
@@ -0,0 +1,11 @@
+module fib_ltI
+
+import StdEnv
+
+fib :: !Int -> Int
+fib n
+ | n < 2
+ = 1
+ = fib (n-2) + fib (n-1)
+
+Start = fib 43