optparse-idris. Minimal port of optparse-applicative to idris

github.com/HuwCampbell/optparse-idris

Problem

Audience

Updates

No founder updates yet. Check back soon.