search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
90 stars 23 forks source link

Update documentation of the `new` command and add an example in the README #250

Closed l-monnier closed 1 year ago

l-monnier commented 1 year ago

This is following the merge of pull request #213 which creates a skeleton test suite and a pack.toml file and to be in line with the wish to have commands documented in the README file.

As it is a basic command, my belief is that it would be helpful for new users to have it documented in the README (although you could argue that the function is already pretty well documented with the pack help command and I would agree!).

stefan-hoeck commented 1 year ago

Thanks. Documentation is always welcome.