-- ---------------------------------------------------------------- [ Main.idr ]
-- Module  : Main
-- --------------------------------------------------------------------- [ EOH ]
module Main

import public {{ Project }}.Lib

-- --------------------------------------------------------------------- [ EOF ]
