From 5e0696355c0022693e09e4e329f60cca6eba82a9 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 7 Jan 2021 13:49:59 +0100 Subject: Initial commit: fib (eqI_b and ltI version); nfib --- fib_eqI_b.dcl | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 fib_eqI_b.dcl (limited to 'fib_eqI_b.dcl') 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 -- cgit v1.2.3