garepinoh-0.9.9.1: code/Console/Garepinoh/DoubleMain.hs
-------------------------------------------------------------------------------- module Main where -------------------------------------------------------------------------------- import Console.Garepinoh.GenMain (genMain,Prelude) import Console.Garepinoh.Preludes (floatingPrelude) -------------------------------------------------------------------------------- main :: IO () main = genMain (floatingPrelude :: Prelude Double)