module Num.Erf
  ( Erf(..)
  ) where

import Data.Number.Erf