Constant project_init::includes::IDRIS_TEMPLATE [−] [src]

pub const IDRIS_TEMPLATE: &'static str = "license = \"BSD3\"\nwith_readme = true\n\n[files]\nfiles = []\ndirectories = [\"src\", \"src/{{ Project }}\", \"src/Test\"]\ntemplates = [\"{{ Project }}/Lib.idr\",\"Main.idr\",\"{{ project }}.ipkg\",\".gitignore\", \"Test/Spec.hs\"]\n\n[config]\nversion = \"0.1.0\"\nversion_control = \"git\"\n"