Skip to content

Add a proper CLI.#23

Merged
wpietri merged 2 commits intomainfrom basic-cliDec 28, 2023