@hackage idringen0.1.0.3

A project manage tool for Idris.

Idringen

Build Status Hackage Hackage-Deps

Install

cabal install idringen

Usage

  • create a new project 
idrin new NAME
  • build project 
idrin build
  • test project 
idrin test
  • run project 
idrin run ARGS
  • clean project 
idrin clean

License

Copyright © 2016 zjhmale

Distributed under the license BSD

  • Installation

  • Dependencies (0)

  • Dependents (0)