To run tests from the command line:

1
idris --testpkg HelloWorld.ipkg

(Replace 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.