diff options
author | Camil Staps | 2021-01-07 13:49:59 +0100 |
---|---|---|
committer | Camil Staps | 2021-01-07 13:49:59 +0100 |
commit | 5e0696355c0022693e09e4e329f60cca6eba82a9 (patch) | |
tree | b7a85aa6826e0049dc34bbc8c465ca5d997124da /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.dcl | 3 |
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 |