https://github.com/huwcampbell/optparse-idris

Minimal port of optparse-applicative to idris
https://github.com/huwcampbell/optparse-idris

Last synced: about 1 month ago
JSON representation

Minimal port of optparse-applicative to idris

• Host: GitHub
• URL: https://github.com/huwcampbell/optparse-idris
• Owner: HuwCampbell
• License: bsd-3-clause
• Created: 2016-02-29T00:53:06.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2020-07-31T00:22:49.000Z (over 4 years ago)
• Last Synced: 2023-08-20T07:33:07.404Z (about 1 year ago)
• Language: Idris
• Size: 20.5 KB
• Stars: 6
• Watchers: 5
• Forks: 5
• Open Issues: 3

Awesome Lists containing this project