Agda-2.6.1.3: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.Float

Description

Logically consistent comparison of floating point numbers.

Synopsis

Documentation

toStringWithoutDotZero :: Double -> String Source #

Remove suffix .0 from printed floating point number.