GitHub repository: statebox/optparse-idris
Primary language: Idris
Description: Minimal port of optparse-applicative to idris