idringen

A project manage tool for Idris. https://github.com/zjhmale/idringen

Latest on Hackage:0.1.0.3

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD3 licensed by Zheng Jihui
Maintained by zjhmale@gmail.com

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

comments powered byDisqus