Continued Fractions: Haskell, Equational Reasoning, Property Testing, and Rewrite Rules in Action

Abstract