Constant project_init::includes::IDRIS_LIB

pub const IDRIS_LIB: &'static str = "-- --------------------------------------------------- [ {{ Project }}.Lib.idr ]\n-- Module      : {{ Project }}.Lib\n-- Description : {{ description }}\n-- --------------------------------------------------------------------- [ EOH ]\nmodule {{ Project }}.Lib\n\n%access export\n"