3 ms·You can use the LiquidHaskell plugin to perform extra compile time checks to numeric code.by jose_zap 4y agoYou can use the LiquidHaskell plugin to perform extra compile time checks to numeric code.