Description
Idris 2 command-line programs can parse options and flags with reusable getopts-style code.
It is useful for developers building CLIs in Idris 2 without writing argument parsing from scratch. This is a library package and becomes useful through source code and builds.