@hackage idringen0.1.0.0

A project manage tool for Idris.

Categories
- Development
License
BSD-3-Clause
Maintainer
zjhmale@gmail.com
Links
Versions
- 0.1.0.3 Wed, 24 Aug 2016
- 0.1.0.1 Sun, 7 Aug 2016
- 0.1.0.0 Sat, 6 Aug 2016

Installation
In your cabal file:
Dependencies (8)
- base >=4.7 && <5
- bytestring >=0.10.4.0
- directory >=1.2.1.0
- filepath >=1.3.0.2
- process
- transformers
Dependents (0)

A general purpose project manage tool for Idris programming language.