/fibonacci

Implementations of Fibonacci

Primary LanguageCoq

Fibonacci

implementations of Fibonacci.

Accompanying this project I have a series of blog posts explaining various aspects of programming.

Styles

It is clear that the Fibonacci has been implemented in many various styles:

  • Direct Recursion
  • Accumulated Recursion
  • Continuation Passing Style
  • Iterative
  • Dynamic Programming