Riemann 𝜻 function in Idris, quick and dirty implementation for the rationals that prints information on each iteration

RiemannZeta.idr

riemannZeta : (s : Double) -> IO Double
riemannZeta s = riemannZetaStep s 1.0 0.0
  where riemannZetaStep : (s : Double) -> (n : Double) -> (p : Double) -> IO Double
        riemannZetaStep s n p =
          do let currentPower = pow n s
             let currentFraction = 1.0 / currentPower
             let currentValue = currentFraction + p
             putStrLn ("s " ++ show s)
             putStrLn ("n " ++ show n)
             putStrLn ("power " ++ show currentPower)
             putStrLn ("fraction " ++ show currentFraction)
             putStrLn ("value " ++ show currentValue)
             putStrLn "---"
             riemannZetaStep s (n + 1.0) currentValue