@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