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