GitHub repository: HuwCampbell/optparse-idris
Primary language: Idris
Created: 2016-02-24T01:46:36Z
Description: Minimal port of optparse-applicative to idris