module Main where

-- * Test @Numeric.Discretized@.

main ∷ IO ()
main = return ()