Constant project_init::includes::IDRIS_EXE

pub const IDRIS_EXE: &'static str = "-- ---------------------------------------------------------------- [ Main.idr ]\n-- Module  : Main\n-- --------------------------------------------------------------------- [ EOH ]\nmodule Main\n\nimport public {{ Project }}.Lib\n\n-- --------------------------------------------------------------------- [ EOF ]\n"