Constant project_init::includes::ATS_PKG
[−]
[src]
pub const ATS_PKG: &'static str=
"let prelude = https://raw.githubusercontent.com/vmchale/atspkg/master/ats-pkg/dhall/atspkg-prelude.dhall\n\nin prelude.default \u{2afd}\n { bin =\n [ prelude.bin \u{2afd}\n { src = \"src/{{ project }}.dats\"\n , target = \"target/{{ project }}\"\n }\n ]\n }\n"