Descrição
Programas de linha de comando em Idris 2 podem analisar opções e flags com código reutilizável no estilo getopts.
É útil para desenvolvedores que criam CLIs em Idris 2 sem escrever parsing de argumentos do zero. É um pacote de biblioteca e se torna útil por meio de código-fonte e builds.