To run tests from the command line:
idris --testpkg HelloWorld.ipkg
HelloWorld.ipkg with the
.ipkg file in the root directory of each exercise.)
Help us explain this better! File a GitHub issue at https://github.com/exercism/idris/issues if you have suggestions, or submit a patch with improvements to the https://github.com/exercism/idris/blob/master/docs/TESTS.md file.