Basic libraries for idris.
idea
library
Idris is a very intriguing language bringing modern type theory to practical life. But it has a lack of libraries. Even basic things like parsing arguments of command line or working with configuration files.
Posted on Feb 11, 2020
Command line parsing - decline (scala lang), optparse-applicative (haskell lang).
TParsec is a library for parsing in idris.