@hackage / idringen

A project manage tool for Idris.

Latest0.1.0.3

About

Metadata

  • Last updated , by zjhsdtc
  • License BSD-3-Clause
  • Categories Development

  • Maintained by: zjhmale@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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