-- ---------------------------------------------------------------- [ Main.idr ]
-- Module : Main
-- --------------------------------------------------------------------- [ EOH ]
module Main
import public {{ Project }}.Lib
-- --------------------------------------------------------------------- [ EOF ]