To run tests from the command line:

```bash
idris --testpkg HelloWorld.ipkg
```

(Replace `HelloWorld.ipkg` with the `.ipkg` file in the root directory of each exercise.)