idringen: A project manage tool for Idris.

[ bsd3, development, library, program ] [ Propose Tags ]

Check out the readme for documentation.

[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,
Dependencies base (>=4.7 && <5), bytestring (>=, directory (>=, filepath (>=, http-conduit, idringen, MissingH, process, transformers [details]
License BSD-3-Clause
Copyright 2016 zjhmale
Author Zheng Jihui
Category Development
Home page
Source repo head: git clone
Uploaded by zjhsdtc at 2016-08-24T05:50:09Z
Distributions NixOS:
Executables idrin
Downloads 2520 total (14 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-08-24 [all 1 reports]

Readme for idringen-

[back to package description]


Build Status Hackage Hackage-Deps


cabal install idringen


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


Copyright © 2016 zjhmale

Distributed under the license BSD