aboutsummaryrefslogtreecommitdiff
path: root/fib_eqI_b.dcl
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_eqI_b.dcl
Initial commit: fib (eqI_b and ltI version); nfib
Diffstat (limited to 'fib_eqI_b.dcl')
-rw-r--r--fib_eqI_b.dcl3
1 files changed, 3 insertions, 0 deletions
diff --git a/fib_eqI_b.dcl b/fib_eqI_b.dcl
new file mode 100644
index 0000000..62cb4b7
--- /dev/null
+++ b/fib_eqI_b.dcl
@@ -0,0 +1,3 @@
+definition module fib_eqI_b
+
+fib :: Int -> Int