https://github.com/zjhmale/idringen

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

Last synced: 2 days ago
JSON representation

a project manage tool for Idris

• Host: GitHub
• URL: https://github.com/zjhmale/idringen
• Owner: zjhmale
• License: bsd-3-clause
• Created: 2016-08-05T08:00:58.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2016-08-24T05:46:30.000Z (almost 8 years ago)
• Last Synced: 2024-06-08T04:04:32.127Z (24 days ago)
• Language: Haskell
• Size: 9.77 KB
• Stars: 17
• Watchers: 1
• Forks: 1
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• idris-awesomeness - idringen : a project manage tool for Idris

README

        
# Idringen

[![Build Status](https://travis-ci.org/zjhmale/idringen.svg?branch=master)](https://travis-ci.org/zjhmale/idringen)

[![Hackage](https://img.shields.io/hackage/v/idringen.svg)](https://hackage.haskell.org/package/idringen)

[![Hackage-Deps](https://img.shields.io/hackage-deps/v/idrigen.svg)](https://hackage.haskell.org/package/idringen)

## 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](https://img.shields.io/badge/license-BSD-orange.svg)](https://en.wikipedia.org/wiki/BSD_licenses)