project_init 3.1.23

Quickly initialize projects from a template.
Documentation
1
2
3
4
5
6
7
8
9
10
11
license = "BSD3"
with_readme = true

[files]
files = []
directories = ["src", "src/{{ Project }}", "src/Test"]
templates = ["{{ Project }}/Lib.idr","Main.idr","{{ project }}.ipkg",".gitignore", "Test/Spec.hs"]

[config]
version = "0.1.0"
version_control = "git"