project_init 3.1.23

Quickly initialize projects from a template.
Documentation 
1
2
3
4
5
6
7
8

-- ---------------------------------------------------------------- [ Main.idr ]
-- Module  : Main
-- --------------------------------------------------------------------- [ EOH ]
module Main

import public {{ Project }}.Lib

-- --------------------------------------------------------------------- [ EOF ]