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.
This work has been tested using:
- Agda version 2.5.3
- The standard library version 0.15