Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-01-27 | Rewrite, version 0.2: use Parsec, focus on DSV | defanor | |
2019-03-19 | Handle types with more than 3 constructors | defanor | |
Particularly ((a :+: b) :+: (c :+: d)) combinations. | |||
2017-12-24 | Document the 'Usage' type. | defanor | |
2017-12-24 | Introduce 'Usage' structure. | defanor | |
Produce it with 'argHelper' first, then translate into a string -- so that it can be reused for other kinds of output, such as roff and texinfo. | |||
2017-12-20 | Prepare for IO | defanor | |
DSV functions operate on individual lines now, unit type gets printed/parsed as nothing (handier for argument parsing to set '()' when there's none, and that's what it should be anyway). | |||
2017-12-19 | Reorganize the modules | defanor | |