Data.SBV.Examples.CodeGeneration.Fibonacci

A naive implementation

fib0

Using a recursion depth, and accumulating parameters

fib1

genFib1

Generating a look-up table

fib2

genFib2