Constant project_init::includes::ATS_LIB
[−]
[src]
pub const ATS_LIB: &'static str=
"let prelude = https://raw.githubusercontent.com/vmchale/atspkg/master/ats-pkg/dhall/atspkg-prelude.dhall\n\nin \u{3bb}(x : List Integer) \u{2192}\n prelude.makePkg { x = x, name = \"{{ project }}\", githubUsername = \"{{ github_username }}\" }\n"