agdARGS

Dealing with Flags and Options

I gave a talk about agdARGS in St Andrews on 2015-03-15. The slides are a good starting point to have an idea of how agdARGS is implemented. Beware: the terminology varies slightly from the one now used in the project.

I have implemented two simple examples showcasing the library (flags, options, arguments parsing and usage):

• WordCount is a wc-like utility,

• and Sum is a simple example of a hierarchical cli: it has two sub-commands ("nat" and "int" respectively) which sum the list of numbers (nats and ints respectively) they are given.

Dependencies

This work has been tested using:

• Agda version 2.5.3
• The standard library version 0.15